HAL2_REG_CTL_REV
(void *)(vaddr_t)(haa->ha_sh + haa->ha_devoff + HAL2_REG_CTL_REV),
HAL2_REG_CTL_REV);
rev = haltwo_read(sc, ctl, HAL2_REG_CTL_REV);