TB_SHUTDOWN_HALT  743 arch/x86/kernel/reboot.c 	tboot_shutdown(TB_SHUTDOWN_HALT);
TB_SHUTDOWN_HALT  756 arch/x86/kernel/reboot.c 	tboot_shutdown(TB_SHUTDOWN_HALT);