struct arm64_kernel_header header
static uint32_t read32(const void *addr)
static const char * status_to_string(int err)
static const char * psp_status_halted
static const char * psp_status_cmd_timeout
static const char * psp_status_noerror
static const char * psp_status_init_timeout
static u32 rd_resp_sts(struct mbox_buffer_header *header)
static const char * psp_status_nobase
static void psp_notify_boot_done(void *unused)
static const char * psp_status_recovery
BOOT_STATE_INIT_ENTRY(BS_PAYLOAD_BOOT, BS_ON_ENTRY, psp_notify_boot_done, NULL)
static const char * psp_status_errcmd
void psp_print_cmd_status(int cmd_status, struct mbox_buffer_header *header)
#define printk(level,...)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
#define BIOS_WARNING
BIOS_WARNING - Bad configuration.
#define PSPSTS_INIT_TIMEOUT
#define PSPSTS_CMD_TIMEOUT
#define PSPSTS_SEND_ERROR
int send_psp_command(u32 command, void *buffer)
#define MBOX_BIOS_CMD_BOOT_DONE
u8 buffer[C2P_BUFFER_MAXSIZE]