MACH_CPUCONTEXT_OP_STOP
if (optype == MACH_CPUCONTEXT_OP_STOP) {
} else if (optype == MACH_CPUCONTEXT_OP_STOP) {
ctx = mach_cpucontext_xalloc(cp, MACH_CPUCONTEXT_OP_STOP);
mach_cpucontext_xfree(cp, ctx, 0, MACH_CPUCONTEXT_OP_STOP);
mach_cpucontext_xfree(cp, ctx, rv, MACH_CPUCONTEXT_OP_STOP);