Home
last modified time | relevance | path

Searched refs:spin_table (Results 1 – 1 of 1) sorted by relevance

/optee_os/core/arch/arm/kernel/
A Dboot.c63 static uint32_t spin_table[CFG_TEE_CORE_NB_CORE]; variable
1378 spin_table[core_idx] = 1; in boot_core_release()
1396 } while (!spin_table[get_core_pos()]); in boot_core_hpen()

Completed in 4 milliseconds