Searched refs:arch_flush_lazy_cpu_mode (Results 1 – 3 of 3) sorted by relevance
284 void arch_flush_lazy_cpu_mode(void) in arch_flush_lazy_cpu_mode() function
1079 arch_flush_lazy_cpu_mode(); in drop_other_mm_ref()1093 arch_flush_lazy_cpu_mode(); in xen_drop_mm_ref()
1355 void arch_flush_lazy_cpu_mode(void);