Searched refs:vgc (Results 1 – 1 of 1) sorted by relevance
224 mp_set_cpu_context(vcpu_guest_context_t *vgc, cpu_t *cp) in mp_set_cpu_context() argument228 vgc->flags = VGCF_IN_KERNEL; in mp_set_cpu_context()235 vgc->user_regs.cs = KCS_SEL | SEL_KPL; /* force to ring 3 */ in mp_set_cpu_context()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()239 vgc->kernel_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()[all …]