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

/seL4-camkes-master/tools/rumprun/platform/hw/pci/
H A Drumppci.c37 #define PCI_CONF_ADDR 0xcf8 macro
124 outl(PCI_CONF_ADDR, addr);
138 outl(PCI_CONF_ADDR, addr);
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/
H A Drumppci.c29 #define PCI_CONF_ADDR 0xcf8 macro
103 res = rumpcomp_pci_port_out(PCI_CONF_ADDR, 4, addr);
127 res = rumpcomp_pci_port_out(PCI_CONF_ADDR, 4, addr);

Completed in 42 milliseconds