mach_cpucontext_free
mach_cpucontext_free(cp, ctx, error);
mach_cpucontext_free(cp, ctx, error);
mach_cpucontext_free(cp, ctx, 0);
extern void mach_cpucontext_free(struct cpu *, void *, int);
mach_cpucontext_free(cp, NULL, err);