Searched refs:boot_core (Results 1 – 1 of 1) sorted by relevance
211 uint32_t boot_core = 0x00; in bl31_plat_arch_setup() local215 boot_core = ((mmio_read_32(AGX5_PWRMGR(MPU_BOOTCONFIG)) & 0xC00) >> 10); in bl31_plat_arch_setup()216 NOTICE("SOCFPGA: Boot Core = %x\n", boot_core); in bl31_plat_arch_setup()261 uint32_t boot_core = 0x00; in bl31_plat_set_secondary_cpu_entrypoint() local266 boot_core = (mmio_read_32(AGX5_PWRMGR(MPU_BOOTCONFIG)) & 0xC00); in bl31_plat_set_secondary_cpu_entrypoint()270 if (boot_core == 0x00) { in bl31_plat_set_secondary_cpu_entrypoint()