Searched refs:guest_tlbi_os (Results 1 – 1 of 1) sorted by relevance
16 static void guest_tlbi_os(void) in guest_tlbi_os() function79 FEATURE("TLBI OS", ID_AA64ISAR0_EL1, TLB, OS, guest_tlbi_os, tlbi_os_trappable),