cpu_nswtch
printf("cpu_nswtch %"PRIu64"\n", dp->cpu_nswtch);
cpu_index(ci), ci->ci_data.cpu_nswtch, ci->ci_data.cpu_ntrap,
cc->nswtch = tci.ci_data.cpu_nswtch;