Searched refs:process_switch_fsgs (Results 1 – 1 of 1) sorted by relevance
134 void process_switch_fsgs(uint64_t fs, uint64_t gs) in process_switch_fsgs() function210 process_switch_fsgs(current_pcb->thread->fs, current_pcb->thread->gs); in initial_kernel_thread()