Symbol: TB_SHUTDOWN_HALT
arch/x86/kernel/reboot.c
790
tboot_shutdown(TB_SHUTDOWN_HALT);
arch/x86/kernel/reboot.c
803
tboot_shutdown(TB_SHUTDOWN_HALT);