mach_cpucontext_xalloc
return (mach_cpucontext_xalloc(cp, MACH_CPUCONTEXT_OP_START));
ctx = mach_cpucontext_xalloc(cp, MACH_CPUCONTEXT_OP_STOP);
extern void *mach_cpucontext_xalloc(struct cpu *, int);