tboot_shutdown    603 arch/x86/kernel/reboot.c 	tboot_shutdown(TB_SHUTDOWN_REBOOT);
tboot_shutdown    743 arch/x86/kernel/reboot.c 	tboot_shutdown(TB_SHUTDOWN_HALT);
tboot_shutdown    756 arch/x86/kernel/reboot.c 	tboot_shutdown(TB_SHUTDOWN_HALT);
tboot_shutdown   1750 arch/x86/kernel/smpboot.c 	tboot_shutdown(TB_SHUTDOWN_WFS);
tboot_shutdown    296 arch/x86/kernel/tboot.c 	tboot_shutdown(acpi_shutdown_map[sleep_state]);
tboot_shutdown    281 arch/x86/power/cpu.c 	tboot_shutdown(TB_SHUTDOWN_WFS);
tboot_shutdown    132 include/linux/tboot.h extern void tboot_shutdown(u32 shutdown_type);