CPU_CT_ISIZE
1 << (CPU_CT_xSIZE_LEN(CPU_CT_ISIZE(cpuinfo.ctr)) + 3);
isize = CPU_CT_ISIZE(cpuinfo.ctr);