Searched defs:host_vttbr (Results 1 – 1 of 1) sorted by relevance
597 uint64_t host_vttbr; vm_s2_tlbi_range() local 644 uint64_t host_vttbr; vm_s2_tlbi_all() local