Searched refs:boot_core (Results 1 – 1 of 1) sorted by relevance
193 uint32_t boot_core = 0x00; in bl31_plat_arch_setup() local197 boot_core = (mmio_read_32(AGX5_PWRMGR(MPU_BOOTCONFIG)) & 0xC00); in bl31_plat_arch_setup()198 NOTICE("BL31: Boot Core = %x\n", boot_core); in bl31_plat_arch_setup()237 uint32_t boot_core = 0x00; in bl31_plat_set_secondary_cpu_entrypoint() local239 boot_core = (mmio_read_32(AGX5_PWRMGR(MPU_BOOTCONFIG)) & 0xC00); in bl31_plat_set_secondary_cpu_entrypoint()243 if (boot_core == 0x00) { in bl31_plat_set_secondary_cpu_entrypoint()
