arch_flush_lazy_cpu_mode  289 include/asm-generic/pgtable.h #define arch_flush_lazy_cpu_mode()	do {} while (0)
arch_flush_lazy_cpu_mode 1355 include/asm-x86/paravirt.h static inline void arch_flush_lazy_cpu_mode(void)