Searched refs:vmm_nvhe_s2_tlbi_range (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() function95 return (vmm_nvhe_s2_tlbi_range);