Searched refs:mode_init_tls (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/model/
H A Dsmp.h44 mode_init_tls(cpu_id_t cpu_index) function
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/model/
H A Dsmp.h63 mode_init_tls(cpu_id_t cpu_index);
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/model/
H A Dsmp.c23 mode_init_tls(cpu_id_t cpu_index) function
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dsmp_sys.c134 mode_init_tls(smp_aps_index);
H A Dboot_sys.c450 mode_init_tls(0);

Completed in 153 milliseconds