Searched refs:vcpu_guest_context_t (Results 1 – 5 of 5) sorted by relevance
135 static int xen_vcpu_initialize(processorid_t, vcpu_guest_context_t *);220 mp_set_cpu_context(vcpu_guest_context_t *vgc, cpu_t *cp) in mp_set_cpu_context()338 vcpu_guest_context_t vgc; in mach_cpucontext_alloc()446 pcb_to_user_regs(label_t *pcb, vcpu_guest_context_t *vgc) in pcb_to_user_regs()474 vcpu_guest_context_t vgc; in mach_cpucontext_restore()958 xen_vcpu_initialize(processorid_t id, vcpu_guest_context_t *vgc) in xen_vcpu_initialize()
164 typedef struct vcpu_guest_context vcpu_guest_context_t; typedef165 DEFINE_XEN_GUEST_HANDLE(vcpu_guest_context_t);
267 vcpu_guest_context_t *taddr; in privcmd_HYPERVISOR_domctl()269 sizeof (vcpu_guest_context_t), IE_IMPORT); in privcmd_HYPERVISOR_domctl()276 vcpu_guest_context_t *, taddr); in privcmd_HYPERVISOR_domctl()282 sizeof (vcpu_guest_context_t), IE_EXPORT); in privcmd_HYPERVISOR_domctl()
253 XEN_GUEST_HANDLE_64(vcpu_guest_context_t) ctxt; /* IN/OUT */
1244 if (sect->gs_shdr.sh_entsize < sizeof (vcpu_guest_context_t)) in xkb_open_elf()