CTL_P1003_1B_ASYNCHRONOUS_IO
mib[1] = CTL_P1003_1B_ASYNCHRONOUS_IO;
P1B_SYSCTL(CTL_P1003_1B_ASYNCHRONOUS_IO, asynchronous_io);
p31b_setcfg(CTL_P1003_1B_ASYNCHRONOUS_IO, _POSIX_ASYNCHRONOUS_IO);