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() argument 338 vcpu_guest_context_t vgc; mach_cpucontext_alloc() local 446 pcb_to_user_regs(label_t * pcb,vcpu_guest_context_t * vgc) pcb_to_user_regs() argument 474 vcpu_guest_context_t vgc; mach_cpucontext_restore() local 958 xen_vcpu_initialize(processorid_t id,vcpu_guest_context_t * vgc) xen_vcpu_initialize() argument [all...]