14 if (!
CONFIG(HAVE_ACPI_RESUME))
24 if (save_area ==
NULL) {
46 if (smm_save_area ==
NULL)
static int acpi_is_wakeup_s3(void)
void * memcpy(void *dest, const void *src, size_t n)
void restore_default_smm_area(void *smm_save_area)
void * backup_default_smm_area(void)
void * cbmem_add(u32 id, u64 size)
#define CBMEM_ID_SMM_SAVE_SPACE
#define printk(level,...)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.