HDAUDIO_MMIO_RIRBSIZE
rirbsize = hda_read1(sc, HDAUDIO_MMIO_RIRBSIZE);
hda_write1(sc, HDAUDIO_MMIO_RIRBSIZE, sc->sc_rirb.dma_sizereg);