PSCI-based BSP reset hook. More...
#include <bsp.h>
#include <bsp/bootcard.h>
PSCI-based BSP reset hook.