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)