reset_lazy_tlbstate 1403 arch/x86/kernel/smpboot.c 	reset_lazy_tlbstate();
reset_lazy_tlbstate  159 include/asm-x86/tlbflush.h void reset_lazy_tlbstate(void);