3 #include <bl_uapp/bl_syscall_public.h>
12 printk(
BIOS_ERR,
"Error getting boot mode. Assuming no resume.\n");
16 if (bootmode == PSP_BOOT_MODE_S3_RESUME || bootmode == PSP_BOOT_MODE_S0i3_RESUME)
uint32_t svc_get_boot_mode(uint32_t *boot_mode)
#define printk(level,...)
#define BIOS_ERR
BIOS_ERR - System in incomplete state.
int platform_is_resuming(void)