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

/seL4-camkes-master/tools/rumprun/platform/hw/pci/
H A Drumpdma.c60 rumpcomp_pci_dmamem_map(struct rumpcomp_pci_dmaseg *dss, size_t nseg, argument
67 *vap = (void *)dss[0].ds_vacookie;
/seL4-camkes-master/tools/rumprun/platform/xen/pci/
H A Drumphyper_dma.c56 rumpcomp_pci_dmamem_map(struct rumpcomp_pci_dmaseg *dss, size_t nseg, argument
63 *vap = (void *)dss[0].ds_vacookie;
/seL4-camkes-master/tools/rumprun/platform/sel4/pci/
H A Drumpdma.c77 int rumpcomp_pci_dmamem_map(struct rumpcomp_pci_dmaseg *dss, size_t nseg, argument
80 *vap = (void *)dss[0].ds_vacookie;

Completed in 32 milliseconds