FBC_READ
fbcfg0 = FBC_READ(sc, FFB_FBC_FBCFG0) | FBC_CFG0_DOUBLE_BUF;
fbcfg0 = FBC_READ(sc, FFB_FBC_FBCFG0) | FBC_CFG0_SINGLE_BUF;
cache = FBC_READ(sc, FFB_FBC_UCSR);
ucsr = FBC_READ(sc, FFB_FBC_UCSR);
DPRINTF(("WID: %08x\n", FBC_READ(sc, FFB_FBC_WID)));