Searched refs:x86_read_gs_base (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h287 static inline word_t x86_read_gs_base(cpu_id_t cpu) function
318 static inline word_t x86_read_gs_base(cpu_id_t cpu) function
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/
H A Dmachine.h279 word_t cur_gs_base = x86_read_gs_base(cpu);

Completed in 31 milliseconds