Searched refs:FLUSH_TLB (Results 1 – 4 of 4) sorted by relevance
97 #define FLUSH_TLB 0x100 macro119 flush_local(FLUSH_TLB)121 flush_area_local((const void *)(v), FLUSH_TLB|FLUSH_ORDER(0))125 flush_mask(mask, FLUSH_TLB)127 flush_area_mask(mask, (const void *)(v), FLUSH_TLB|FLUSH_ORDER(0))
106 if ( flags & (FLUSH_TLB|FLUSH_TLB_GLOBAL) ) in flush_area_local()142 if ( (!(flags & (FLUSH_TLB|FLUSH_TLB_GLOBAL)) || in flush_area_local()
211 flags &= ~(FLUSH_TLB | FLUSH_TLB_GLOBAL); in invalidate_interrupt()248 flush_mask(&allbutself, FLUSH_TLB); in new_tlbflush_clock_period()
4640 FLUSH_TLB | FLUSH_ORDER(2 * PAGETABLE_ORDER); in map_pages_to_xen()4688 FLUSH_TLB | FLUSH_ORDER(2 * PAGETABLE_ORDER); in map_pages_to_xen()4754 FLUSH_TLB | FLUSH_ORDER(PAGETABLE_ORDER); in map_pages_to_xen()4787 FLUSH_TLB | FLUSH_ORDER(PAGETABLE_ORDER); in map_pages_to_xen()4839 unsigned int flush_flags = FLUSH_TLB | FLUSH_ORDER(0); in map_pages_to_xen()
Completed in 13 milliseconds