Searched refs:hartids (Results 1 – 2 of 2) sorted by relevance
38 uint32_t hartids[CFG_TEE_CORE_NB_CORE]; variable81 hartid = hartids[i]; in start_secondary_cores()197 hartids[i++] = fdt32_to_cpu(*reg); in boot_primary_init_core_ids()
12 extern uint32_t hartids[CFG_TEE_CORE_NB_CORE];