Searched defs:__flush_xen_data_tlb_one (Results 1 – 2 of 2) 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
Completed in 3 milliseconds