Searched refs:vgc (Results 1 – 1 of 1) sorted by relevance
220 mp_set_cpu_context(vcpu_guest_context_t *vgc, cpu_t *cp) in mp_set_cpu_context() argument224 vgc->flags = VGCF_IN_KERNEL; in mp_set_cpu_context()232 vgc->user_regs.cs = KCS_SEL | SEL_KPL; /* force to ring 3 */ in mp_set_cpu_context()234 vgc->user_regs.cs = KCS_SEL; 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()250 vgc->user_regs.fs = 0; in mp_set_cpu_context()251 vgc->user_regs.gs = 0; in mp_set_cpu_context()[all …]