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);