Searched defs: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()322 vcpu_guest_context_t vgc; in mach_cpucontext_alloc() local424 pcb_to_user_regs(label_t *pcb, vcpu_guest_context_t *vgc) in pcb_to_user_regs()443 vcpu_guest_context_t vgc; in mach_cpucontext_restore() local929 xen_vcpu_initialize(processorid_t id, vcpu_guest_context_t *vgc) in xen_vcpu_initialize()