ARMADILLO9_IO16_VBASE
ARMADILLO9_IO16_VBASE,
isa_armadillo9_init(ARMADILLO9_IO16_VBASE + ARMADILLO9_ISAIO,
ARMADILLO9_IO16_VBASE + ARMADILLO9_ISAMEM);