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

/seL4-camkes-master/tools/rumprun/platform/hw/pci/
H A Drumppci.c83 rumpcomp_pci_port_in(uint32_t port, int io_size, uint32_t *result) { function
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/
H A Drumppci.c60 int rumpcomp_pci_port_in(uint32_t port, int io_size, uint32_t *result) function
108 res = rumpcomp_pci_port_in(PCI_CONF_DATA, 4, &data);

Completed in 82 milliseconds