tboot_shutdown 218 arch/x86/kernel/tboot.c void tboot_shutdown(u32 shutdown_type) tboot_shutdown 141 include/linux/tboot.h #define tboot_shutdown(shutdown_type) do { } while (0)