Searched refs:xen_flush_tlb (Results 1 – 3 of 3) sorted by relevance
309 extern void xen_flush_tlb(void);
2556 xen_flush_tlb(); in hat_tlb_inval_range()2616 xen_flush_tlb(); in hat_tlb_inval_range()2963 xen_flush_tlb(); in hat_flush_range()
171 xen_flush_tlb() in xen_flush_tlb() function