CTL_P1003_1B_PRIORITIZED_IO
mib[1] = CTL_P1003_1B_PRIORITIZED_IO;
p31b_setcfg(CTL_P1003_1B_PRIORITIZED_IO, _POSIX_PRIORITIZED_IO);
P1B_SYSCTL(CTL_P1003_1B_PRIORITIZED_IO, prioritized_io,