HW_USERMEM64
mib[1] = HW_USERMEM64;
case HW_USERMEM64: /* hw.usermem */
case HW_USERMEM64:
int mib[] = { CTL_HW, HW_USERMEM64 };