Searched refs:flush_vpid_global (Results 1 – 3 of 3) sorted by relevance
163 void flush_vpid_global(void);
130 void flush_vpid_global(void) in flush_vpid_global() function
733 flush_vpid_global(); in run_vcpu()
Completed in 5 milliseconds