#include "ahcid.h" #include "test.h" #include #include #include #include #include static uint64_t finish_counter = 0; struct dma_mem { lvaddr_t vaddr; ///< virtual address of the mapped region lpaddr_t paddr; ///< physical address of the underlying frame uint64_t bytes; ///< size of the region in bytes uint64_t requested; ///< requested size of the region in bytes (<= bytes) struct capref frame; ///< frame capability backing this region }; void test_runner(int n, ...) { va_list arguments; va_start(arguments, n); // sleep for 5 sec barrelfish_usleep(5000*1000); for (size_t i=0; i