CPU_CONFIG
mode = read_cpu_ctrl(CPU_CONFIG);
(void) dtrace_cpu_setup(CPU_CONFIG, i);
(void) dtrace_cpu_setup(CPU_CONFIG, 0);