Searched refs:arch_guard (Results 1 – 2 of 2) sorted by relevance
530 let mut arch_guard = current_pcb.arch_info_irqsave(); in arch_switch_to_user() localVariable531 arch_guard.rsp = trap_frame_vaddr.data(); in arch_switch_to_user()533 arch_guard.fs = USER_DS; in arch_switch_to_user()534 arch_guard.gs = USER_DS; in arch_switch_to_user()537 arch_guard.store_kernel_gsbase(); in arch_switch_to_user()540 SegmentSelector::from_bits_truncate(arch_guard.fs.bits()), in arch_switch_to_user()541 SegmentSelector::from_bits_truncate(arch_guard.gs.bits()), in arch_switch_to_user()543 arch_guard.rip = new_rip.data(); in arch_switch_to_user()545 drop(arch_guard); in arch_switch_to_user()
62 let mut arch_guard = current_pcb.arch_info_irqsave(); in arch_switch_to_user() localVariable63 arch_guard.ksp = trap_frame_vaddr.data(); in arch_switch_to_user()65 drop(arch_guard); in arch_switch_to_user()