hyperv_dma_get_paddr
(atop(hyperv_dma_get_paddr(&pd->simp_dma)) << MSR_HV_SIMP_PGSHIFT);
(atop(hyperv_dma_get_paddr(&pd->siep_dma)) << MSR_HV_SIEFP_PGSHIFT);
vmbus_intr_signal(sc, hyperv_dma_get_paddr(&ch->ch_monprm_dma));
cmd.chm_evtflags = hyperv_dma_get_paddr(&sc->sc_events_dma);
cmd.chm_mnf1 = hyperv_dma_get_paddr(&sc->sc_monitor_dma[0]);
cmd.chm_mnf2 = hyperv_dma_get_paddr(&sc->sc_monitor_dma[1]);