Searched refs:boot_info_reg (Results 1 – 3 of 3) sorted by relevance
244 int32_t boot_info_reg);251 int32_t boot_info_reg,
700 int32_t boot_info_reg, in spmc_el0_sp_setup() argument725 if (boot_info_reg >= 0) { in spmc_el0_sp_setup()828 int32_t boot_info_reg) in spmc_sp_common_setup() argument851 if (boot_info_reg >= 0) { in spmc_sp_common_setup()870 switch (boot_info_reg) { in spmc_sp_common_setup()885 boot_info_reg); in spmc_sp_common_setup()
2016 int32_t *boot_info_reg) in sp_manifest_parse() argument2177 *boot_info_reg = config_32; in sp_manifest_parse()2224 int32_t ret, boot_info_reg = -1; in find_and_prepare_sp_context() local2305 &boot_info_reg); in find_and_prepare_sp_context()2312 spmc_sp_common_setup(sp, next_image_ep_info, boot_info_reg); in find_and_prepare_sp_context()2331 spmc_el0_sp_setup(sp, boot_info_reg, sp_manifest); in find_and_prepare_sp_context()