Searched refs:__flush_xen_data_tlb_one (Results 1 – 3 of 3) sorted by relevance
82 static inline void __flush_xen_data_tlb_one(vaddr_t va) in __flush_xen_data_tlb_one() function
91 static inline void __flush_xen_data_tlb_one(vaddr_t va) in __flush_xen_data_tlb_one() function
255 __flush_xen_data_tlb_one(va); in flush_xen_data_tlb_range_va()
Completed in 5 milliseconds