mach_htraptrace_setup
mach_htraptrace_setup(CPU->cpu_id);
mach_htraptrace_setup(cpuid);
mach_htraptrace_setup(CPU->cpu_id);
extern void mach_htraptrace_setup(int);
extern void mach_htraptrace_setup(int);