Searched refs:FLUSH_VCPU_STATE (Results 1 – 3 of 3) sorted by relevance
252 if ( (flags & FLUSH_VCPU_STATE) && __sync_local_execstate() ) in invalidate_interrupt()254 if ( flags & ~(FLUSH_VCPU_STATE | FLUSH_ORDER_MASK) ) in invalidate_interrupt()265 if ( (flags & ~(FLUSH_VCPU_STATE | FLUSH_ORDER_MASK)) && in flush_area_mask()
1778 flush_mask(cpumask_of(dirty_cpu), FLUSH_VCPU_STATE); in context_switch()1891 flush_mask(cpumask_of(dirty_cpu), FLUSH_VCPU_STATE); in sync_vcpu_execstate()
120 #define FLUSH_VCPU_STATE 0x1000 macro
Completed in 6 milliseconds