Searched refs:rumpcomp_pci_dmalloc (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/hw/pci/
H A Drumpdma.c38 rumpcomp_pci_dmalloc(size_t size, size_t align, function
/seL4-camkes-master/tools/rumprun/platform/xen/pci/
H A Drumphyper_dma.c39 rumpcomp_pci_dmalloc(size_t size, size_t align, function
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/
H A Drumpdma.c40 int rumpcomp_pci_dmalloc(size_t size, size_t align, function
76 rumpcomp_pci_dmalloc. */
119 /* This likely means that the upper levels have an mbuf that was not allocated through rumpcomp_pci_dmalloc */

Completed in 34 milliseconds