Lines Matching refs:cpu
272 static inline void x86_write_fs_base(word_t base, cpu_id_t cpu)
277 static inline void x86_write_gs_base(word_t base, cpu_id_t cpu)
282 static inline word_t x86_read_fs_base(cpu_id_t cpu)
287 static inline word_t x86_read_gs_base(cpu_id_t cpu)
297 static inline void x86_write_fs_base(word_t base, cpu_id_t cpu)
299 if (base != ARCH_NODE_STATE_ON_CORE(x86KSCurrentFSBase, cpu)) {
300 ARCH_NODE_STATE_ON_CORE(x86KSCurrentFSBase, cpu) = base;
305 static inline void x86_write_gs_base(word_t base, cpu_id_t cpu)
307 if (likely(base != ARCH_NODE_STATE_ON_CORE(x86KSCurrentGSBase, cpu))) {
308 ARCH_NODE_STATE_ON_CORE(x86KSCurrentGSBase, cpu) = base;
313 static inline word_t x86_read_fs_base(cpu_id_t cpu)
315 return ARCH_NODE_STATE_ON_CORE(x86KSCurrentFSBase, cpu);
318 static inline word_t x86_read_gs_base(cpu_id_t cpu)
320 return ARCH_NODE_STATE_ON_CORE(x86KSCurrentGSBase, cpu);
326 static inline void x86_load_fsgs_base(tcb_t *thread, cpu_id_t cpu)
335 x86_write_fs_base(fs_base, cpu);
337 x86_write_gs_base(gs_base, cpu);