shutdown_entry     83 arch/x86/kernel/tboot.c 	pr_debug("shutdown_entry: 0x%x\n", tboot->shutdown_entry);
shutdown_entry    242 arch/x86/kernel/tboot.c 	shutdown = (void(*)(void))(unsigned long)tboot->shutdown_entry;
shutdown_entry     82 include/linux/tboot.h 	u32 shutdown_entry;