Searched refs:vmm_nvhe_clean_s2_tlbi (Results 1 – 1 of 1) sorted by relevance
67 vmm_nvhe_clean_s2_tlbi(void) in vmm_nvhe_clean_s2_tlbi() function76 return (vmm_nvhe_clean_s2_tlbi);