Searched defs:guest_tlb_read (Results 1 – 2 of 2) sorted by relevance
2809 static inline void guest_tlb_read(void) in guest_tlb_read() function
2792 static inline void guest_tlb_read(void) in guest_tlb_read() function