| /* |
| * 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> |
