Searched refs:spin_table (Results 1 – 1 of 1) sorted by relevance
73 static uint32_t spin_table[CFG_TEE_CORE_NB_CORE]; variable1212 spin_table[core_idx] = 1; in boot_core_release()1230 } while (!spin_table[get_core_pos()]); in boot_core_hpen()