BCM53XX_ARMCORE_PBASE
error = bus_space_map(bcm53xx_armcore_bst, BCM53XX_ARMCORE_PBASE,
BCM53XX_ARMCORE_PBASE, /* 0x19000000 */