Searched refs:vmsi_addrlo (Results 1 – 1 of 1) sorted by relevance
68 uint32_t vmsi_msgdata, vmsi_addrlo, vmsi_addrhi = 0U; in remap_vmsi() local71 vmsi_addrlo = pci_vdev_read_vcfg(vdev, (capoff + PCIR_MSI_ADDR), 4U); in remap_vmsi()78 info.addr.full = (uint64_t)vmsi_addrlo | ((uint64_t)vmsi_addrhi << 32U); in remap_vmsi()
Completed in 2 milliseconds