Searched refs:fpga_valid_mpids (Results 1 – 8 of 8) sorted by relevance
16 unsigned char fpga_valid_mpids[PLATFORM_CORE_COUNT]; variable72 if (fpga_valid_mpids[core_pos] != VALID_MPID) { in plat_core_pos_by_mpidr()
19 extern unsigned char fpga_valid_mpids[PLATFORM_CORE_COUNT];
46 fpga_valid_mpids[plat_my_core_pos()] = VALID_MPID; in bl31_early_platform_setup2()
45 fpga_valid_mpids[plat_my_core_pos()] = VALID_MPID; in bl31_early_platform_setup2()
67 adrp x4, fpga_valid_mpids68 add x4, x4, :lo12:fpga_valid_mpids