Searched refs:vmm_nvhe_s2_tlbi_all (Results 1 – 1 of 1) sorted by relevance
103 vmm_nvhe_s2_tlbi_all(uint64_t vttbr) in vmm_nvhe_s2_tlbi_all() function112 return (vmm_nvhe_s2_tlbi_all);