220 mp_set_cpu_context(vcpu_guest_context_t *vgc, cpu_t *cp)  in mp_set_cpu_context()
335 mach_cpucontext_alloc(struct cpu *cp)  in mach_cpucontext_alloc()
411 mach_cpucontext_free(struct cpu *cp, void *arg, int err)  in mach_cpucontext_free()
439 mach_cpucontext_reset(cpu_t *cp)  in mach_cpucontext_reset()
472 mach_cpucontext_restore(cpu_t *cp)  in mach_cpucontext_restore()
567 mp_cpu_poweron(struct cpu *cp)  in mp_cpu_poweron()
574 mp_cpu_poweroff(struct cpu *cp)  in mp_cpu_poweroff()
601 			cpu_t *cp = cpu_get(i);  in mp_enter_barrier()  local
637 		cpu_t *cp = cpu_get(i);  in mp_leave_barrier()  local
668 poweroff_vcpu(struct cpu *cp)  in poweroff_vcpu()
703 	cpu_t *cp;  in vcpu_config_poweroff()  local
768 poweron_vcpu(struct cpu *cp)  in poweron_vcpu()
801 	cpu_t *cp;  in vcpu_config_poweron()  local