vcpu_guest_context_t
if (sect->gs_shdr.sh_entsize < sizeof (vcpu_guest_context_t))
DEFINE_XEN_GUEST_HANDLE(vcpu_guest_context_t);
XEN_GUEST_HANDLE_64(vcpu_guest_context_t) ctxt; /* IN/OUT */
vcpu_guest_context_t *taddr;
sizeof (vcpu_guest_context_t), IE_IMPORT);
vcpu_guest_context_t *, taddr);
sizeof (vcpu_guest_context_t), IE_EXPORT);
static int xen_vcpu_initialize(processorid_t, vcpu_guest_context_t *);
mp_set_cpu_context(vcpu_guest_context_t *vgc, cpu_t *cp)
vcpu_guest_context_t vgc;
pcb_to_user_regs(label_t *pcb, vcpu_guest_context_t *vgc)
vcpu_guest_context_t vgc;
xen_vcpu_initialize(processorid_t id, vcpu_guest_context_t *vgc)