Searched defs:vttbr (Results 1 – 1 of 1) sorted by relevance
84 vmm_nvhe_s2_tlbi_range(uint64_t vttbr, vm_offset_t sva, vm_offset_t eva, in vmm_nvhe_s2_tlbi_range()103 vmm_nvhe_s2_tlbi_all(uint64_t vttbr) in vmm_nvhe_s2_tlbi_all()