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

/seL4-camkes-master/tools/rumprun/platform/hw/pci/
H A Drumppci.c185 rumpcomp_pci_unmap(void *addr) function
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/
H A Drumppci.c249 void rumpcomp_pci_unmap(void *addr) function

Completed in 36 milliseconds