mach_htraptrace_configure
mach_htraptrace_configure(CPU->cpu_id);
mach_htraptrace_configure(cp->cpu_id);
mach_htraptrace_configure(CPU->cpu_id);
extern void mach_htraptrace_configure(int);
extern void mach_htraptrace_configure(int);