/* Determines if a given device has been configured as using a shared channel. */
int dma_device_is_channel_shared(DMA_Device_t device)
/* Determines if a given device has been configured as using a shared channel. */
int dma_device_is_channel_shared(DMA_Device_t device)
{
	DMA_DeviceAttribute_t *devAttr;
	if (!IsDeviceValid(device)) {
		return -ENODEV;
	}
	devAttr = &DMA_gDeviceAttribute[device];
	return ((devAttr->flags & DMA_DEVICE_FLAG_IS_DEDICATED) == 0);
}