History log of /seL4-camkes-master/tools/rumprun/platform/xen/pci/rumphyper_dma.c
Revision Date Author Comments
# 40e5db40 21-Sep-2015 Antti Kantee <pooka@iki.fi>

Split PCI and DMA hypercalls into separate files.

PCI (usually) implies DMA, but DMA doesn't imply PCI.