8 #include <arm-trusted-firmware/include/export/lib/bl_aux_params/bl_aux_params_exp.h>
void run_bl31(u64 payload_entry, u64 payload_arg0, u64 payload_spsr)
void register_bl31_aux_param(struct bl_aux_param_header *param)
void * soc_get_bl31_plat_params(void)