ICR_ITR
*((u_int *)ICR_ITR) = CPU_MID2CPUNO(bootmid);
v = *((u_int *)ICR_ITR);
v = *((u_int *)ICR_ITR);
*((u_int *)ICR_ITR) = CPU_MID2CPUNO(mid);
*((u_int *)ICR_ITR) = cpuinfo.mid - 8;