Symbol: MVKPCIE_DMA_DVA
sys/dev/fdt/mvkpcie.c
1016
*addr = MVKPCIE_DMA_DVA(sc->sc_msi_addr);
sys/dev/fdt/mvkpcie.c
450
MVKPCIE_DMA_DVA(sc->sc_msi_addr) & 0xffffffff);
sys/dev/fdt/mvkpcie.c
452
MVKPCIE_DMA_DVA(sc->sc_msi_addr) >> 32);