kernel_s3_resume_vector 201 arch/x86/kernel/tboot.c tboot->acpi_sinfo.kernel_s3_resume_vector = kernel_s3_resume_vector 58 include/linux/tboot.h u64 kernel_s3_resume_vector;