wakeup_vector 269 arch/x86/kernel/tboot.c tboot->acpi_sinfo.wakeup_vector = fadt->facs + wakeup_vector 56 include/linux/tboot.h u64 wakeup_vector;