TB_SHUTDOWN_WFS  1750 arch/x86/kernel/smpboot.c 	tboot_shutdown(TB_SHUTDOWN_WFS);
TB_SHUTDOWN_WFS   281 arch/x86/power/cpu.c 	tboot_shutdown(TB_SHUTDOWN_WFS);