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

/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h242 static inline void x86_write_fs_base_impl(word_t base);
249 static inline void x86_write_fs_base_impl(word_t base) function
274 x86_write_fs_base_impl(base);
301 x86_write_fs_base_impl(base);
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/
H A Dmachine.h122 static inline void FORCE_INLINE x86_write_fs_base_impl(word_t base) function
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/
H A Dmachine.h248 static inline void x86_write_fs_base_impl(word_t base) function

Completed in 35 milliseconds