Searched refs:vpci_read (Results 1 – 4 of 4) sorted by relevance
| /xen/xen/include/xen/ |
| A D | vpci.h | 42 uint32_t vpci_read(pci_sbdf_t sbdf, unsigned int reg, unsigned int size);
224 static inline uint32_t vpci_read(pci_sbdf_t sbdf, unsigned int reg, in vpci_read() function
|
| /xen/xen/arch/x86/hvm/ |
| A D | io.c | 325 *data = vpci_read(sbdf, reg, size); in vpci_portio_read()
467 *data = vpci_read(sbdf, reg, min(4u, len)); in vpci_mmcfg_read()
469 *data |= (uint64_t)vpci_read(sbdf, reg + 4, 4) << 32; in vpci_mmcfg_read()
|
| /xen/tools/tests/vpci/ |
| A D | main.c | 74 data = vpci_read((pci_sbdf_t){ .sbdf = 0 }, reg, size); \
|
| /xen/xen/drivers/vpci/ |
| A D | vpci.c | 305 uint32_t vpci_read(pci_sbdf_t sbdf, unsigned int reg, unsigned int size) in vpci_read() function
|
Completed in 7 milliseconds