Symbol: tboot_shutdown
arch/x86/kernel/tboot.c
226
void tboot_shutdown(u32 shutdown_type)
include/linux/tboot.h
134
#define tboot_shutdown(shutdown_type) do { } while (0)