Searched refs:xen_flush_tlb (Results 1 – 3 of 3) sorted by relevance
302 extern void xen_flush_tlb(void);
2071 xen_flush_tlb(); in hat_tlb_inval_range()2130 xen_flush_tlb(); in hat_tlb_inval_range()2478 xen_flush_tlb(); in hat_flush_range()
171 xen_flush_tlb() in xen_flush_tlb() function