Searched refs:vgc (Results 1 - 1 of 1) sorted by relevance

/illumos-gate/usr/src/uts/i86xpv/os/
H A Dmp_xen.c220 mp_set_cpu_context(vcpu_guest_context_t *vgc, cpu_t *cp) argument
224 vgc->flags = VGCF_IN_KERNEL;
232 vgc->user_regs.cs = KCS_SEL | SEL_KPL; /* force to ring 3 */
234 vgc->user_regs.cs = KCS_SEL;
236 vgc->user_regs.ds = KDS_SEL;
237 vgc->user_regs.es = KDS_SEL;
238 vgc->user_regs.ss = KDS_SEL;
239 vgc->kernel_ss = KDS_SEL;
250 vgc->user_regs.fs = 0;
251 vgc
338 vcpu_guest_context_t vgc; local
446 pcb_to_user_regs(label_t *pcb, vcpu_guest_context_t *vgc) argument
474 vcpu_guest_context_t vgc; local
958 xen_vcpu_initialize(processorid_t id, vcpu_guest_context_t *vgc) argument
[all...]

Completed in 105 milliseconds