MMU_CMD_REG_W
while (inw(BASE + MMU_CMD_REG_W) & MMUCR_BUSY) /* NOTHING */
outw(BASE + MMU_CMD_REG_W, MMUCR_RELEASE);
outw(BASE + MMU_CMD_REG_W, MMUCR_RESET);
while (inw(BASE + MMU_CMD_REG_W) & MMUCR_BUSY) /* NOTHING */
outw(BASE + MMU_CMD_REG_W, MMUCR_ALLOC | numPages);
outw(BASE + MMU_CMD_REG_W, MMUCR_ENQUEUE);
while (inw(BASE + MMU_CMD_REG_W) & MMUCR_BUSY) /* NOTHING */
outw(BASE + MMU_CMD_REG_W, MMUCR_FREEPKT);
outw(BASE + MMU_CMD_REG_W, MMUCR_ENQUEUE);
while (inw(BASE + MMU_CMD_REG_W) & MMUCR_BUSY) /* NOTHING */
outw(BASE + MMU_CMD_REG_W, MMUCR_FREEPKT);