#ifndef __8237_DMA_H
#define __8237_DMA_H


#include <palacios/vm_dev.h>

struct vm_device * create_dma();




#endif