Searched refs:x86_load_fsgs_base (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dtraps.h24 x86_load_fsgs_base(tcb, SMP_TERNARY(getCurrentCPUIndex(), 0));
/seL4-camkes-master/kernel/src/arch/x86/
H A Dc_traps.c212 x86_load_fsgs_base(cur_thread, SMP_TERNARY(getCurrentCPUIndex(), 0));
/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h326 static inline void x86_load_fsgs_base(tcb_t *thread, cpu_id_t cpu) function

Completed in 44 milliseconds