text: /*
   * Copyright (c) 2018 Intel Corporation
   *
   * SPDX-License-Identifier: Apache-2.0
   */
  
  #include <drivers/dma.h>
  #include <syscall_handler.h>
  
  /* Both of these APIs are assuming that the drive implementations are checking
   * the validity of the channel ID and returning -errno if it's bogus
   */
  
  static inline int z_vrfy_dma_start(struct device *dev, u32_t channel)
  {
  	Z_OOPS(Z_SYSCALL_DRIVER_DMA(dev, start));
  	return z_impl_dma_start((struct device *)dev, channel);
  }
  #include <syscalls/dma_start_mrsh.c>
  
  static inline int z_vrfy_dma_stop(struct device *dev, u32_t channel)
  {
  	Z_OOPS(Z_SYSCALL_DRIVER_DMA(dev, stop));
  	return z_impl_dma_stop((struct device *)dev, channel);
  }
  #include <syscalls/dma_stop_mrsh.c>
  