hda_write4
hda_write4(sc, HDAUDIO_MMIO_INTSTS, HDAUDIO_INTSTS_CIS);
hda_write4(sc, HDAUDIO_MMIO_INTSTS, HDAUDIO_INTSTS_SIS_MASK);
hda_write4(sc, HDAUDIO_SD_BDPL(snum), (uint32_t)dmaaddr);
hda_write4(sc, HDAUDIO_SD_BDPU(snum), (uint32_t)(dmaaddr >> 32));
hda_write4(sc, HDAUDIO_SD_CBL(snum), dmasize);
hda_write4(sc, HDAUDIO_MMIO_INTCTL, intctl);
hda_write4(sc, HDAUDIO_MMIO_INTCTL, intctl);
hda_write4(sc, HDAUDIO_MMIO_CORBLBASE, corblbase);
hda_write4(sc, HDAUDIO_MMIO_CORBUBASE, corbubase);
hda_write4(sc, HDAUDIO_MMIO_RIRBLBASE, rirblbase);
hda_write4(sc, HDAUDIO_MMIO_RIRBUBASE, rirbubase);
hda_write4(sc, HDAUDIO_MMIO_INTCTL, 0);
hda_write4(sc, HDAUDIO_MMIO_GCTL, gctl);
hda_write4(sc, HDAUDIO_MMIO_GCTL, gctl | HDAUDIO_GCTL_CRST);
hda_write4(sc, HDAUDIO_MMIO_GCTL, gctl | HDAUDIO_GCTL_UNSOL_EN);
hda_write4(sc, HDAUDIO_MMIO_INTSTS,
hda_write4(sc, HDAUDIO_MMIO_INTCTL,
hda_write4(sc, HDAUDIO_MMIO_INTCTL, 0);
hda_write4(sc, HDAUDIO_MMIO_INTSTS,
hda_write4(sc, HDAUDIO_MMIO_DPLBASE, 0);
hda_write4(sc, HDAUDIO_MMIO_DPUBASE, 0);
hda_write4(sc, HDAUDIO_MMIO_INTSTS,
hda_write4(sc, HDAUDIO_MMIO_DPLBASE, 0);
hda_write4(sc, HDAUDIO_MMIO_DPUBASE, 0);