vtpci_modern_read_device_4
val0 = vtpci_modern_read_device_4(sc, off);
val1 = vtpci_modern_read_device_4(sc, off + 4);
static uint32_t vtpci_modern_read_device_4(struct vtpci_modern_softc *,
*(uint32_t *) dst = vtpci_modern_read_device_4(sc, offset);