Searched refs:user_regs (Results 1 – 3 of 3) sorted by relevance
236 vgc->user_regs.ds = KDS_SEL; in mp_set_cpu_context()237 vgc->user_regs.es = KDS_SEL; in mp_set_cpu_context()238 vgc->user_regs.ss = KDS_SEL; in mp_set_cpu_context()249 vgc->user_regs.fs = 0; in mp_set_cpu_context()250 vgc->user_regs.gs = 0; in mp_set_cpu_context()251 vgc->user_regs.rflags = F_OFF | iopl; in mp_set_cpu_context()301 ASSERT(vgc->user_regs.gs == 0); in mp_set_cpu_context()352 vgc.user_regs.rip = tp->t_pc; in mach_cpucontext_alloc()353 vgc.user_regs.rsp = tp->t_sp; in mach_cpucontext_alloc()458 vgc.user_regs.rax = 1; in mach_cpucontext_restore()[all …]
128 struct cpu_user_regs user_regs; /* User-level CPU registers */ member
1518 ur = &vcpu->user_regs; in xkb_getmregs()