14 msr_t s3_resume_entry = {
static int acpi_is_wakeup_s3(void)
#define S3_RESUME_EIP_MSR
static __always_inline void wrmsr(unsigned int index, msr_t msr)
unsigned long long uint64_t
void write_resume_eip(void)
asmlinkage void bootblock_resume_entry(void)