vxKernel/kernel/include/vhex/dma/types.h

#ifndef __VHEX_DMA_TYPES__
# define __VHEX_DMA_TYPES__

#include <vhex/defs/types.h>

typedef int32_t dma_id_t;

#endif /* __VHEX_DMA_TYPES__ */