Searched defs: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()338 vcpu_guest_context_t vgc; in mach_cpucontext_alloc() local446 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() local958 xen_vcpu_initialize(processorid_t id, vcpu_guest_context_t *vgc) in xen_vcpu_initialize()