Searched refs:spin_table (Results 1 – 1 of 1) sorted by relevance
63 static uint32_t spin_table[CFG_TEE_CORE_NB_CORE]; variable1378 spin_table[core_idx] = 1; in boot_core_release()1396 } while (!spin_table[get_core_pos()]); in boot_core_hpen()
Completed in 4 milliseconds