HW_PHYSMEM64
mib[1] = HW_PHYSMEM64;
CTL_HW, HW_PHYSMEM64, CTL_EOL);
int mib[2] = {CTL_HW, HW_PHYSMEM64};