CTL_P1003_1B_AIO_MAX
mib[1] = CTL_P1003_1B_AIO_MAX;
P1B_SYSCTL(CTL_P1003_1B_AIO_MAX, aio_max);
p31b_setcfg(CTL_P1003_1B_AIO_MAX, MAX_AIO_QUEUE);