Searched refs:rumpcomp_pci_confread (Results 1 - 3 of 3) sorted by relevance
/seL4-camkes-master/tools/rumprun/platform/xen/pci/ |
H A D | rumphyper_pci.c | 46 rumpcomp_pci_confread(unsigned bus, unsigned dev, unsigned fun, function
|
/seL4-camkes-master/tools/rumprun/platform/hw/pci/ |
H A D | rumppci.c | 117 rumpcomp_pci_confread(unsigned bus, unsigned dev, unsigned fun, int reg, function
|
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/ |
H A D | rumppci.c | 92 int rumpcomp_pci_confread(unsigned bus, unsigned dev, unsigned fun, int reg, function
|
Completed in 125 milliseconds