mach_cpu_add_arg_t
mach_cpu_add_arg_t arg;
mach_cpu_add_arg_t *ap;
ap = (mach_cpu_add_arg_t *)reqp->req.cpu_add.argp;
mach_cpu_add(mach_cpu_add_arg_t *argp, processorid_t *cpuidp)
extern int mach_cpu_add(mach_cpu_add_arg_t *, processorid_t *);