Searched refs:PCI_CONF_DATA (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/hw/pci/
H A Drumppci.c38 #define PCI_CONF_DATA 0xcfc macro
125 data = inl(PCI_CONF_DATA);
139 outl(PCI_CONF_DATA, value);
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/
H A Drumppci.c30 #define PCI_CONF_DATA 0xcfc macro
108 res = rumpcomp_pci_port_in(PCI_CONF_DATA, 4, &data);
132 res = rumpcomp_pci_port_out(PCI_CONF_DATA, 4, value);

Completed in 1218 milliseconds