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

/seL4-l4v-master/seL4/include/arch/x86/arch/32/mode/model/
H A Dsmp.h32 static inline BOOT_CODE void mode_init_tls(cpu_id_t cpu_index) function
/seL4-l4v-master/seL4/src/arch/x86/64/model/
H A Dsmp.c16 BOOT_CODE void mode_init_tls(cpu_id_t cpu_index) function
/seL4-l4v-master/seL4/include/arch/x86/arch/64/mode/model/
H A Dsmp.h56 mode_init_tls(cpu_id_t cpu_index);
/seL4-l4v-master/seL4/src/arch/x86/kernel/
H A Dsmp_sys.c122 mode_init_tls(smp_aps_index);
H A Dboot_sys.c394 mode_init_tls(0);

Completed in 55 milliseconds