27 lines
770 B
C
27 lines
770 B
C
/*
|
|
* Copyright (c) 2018 Intel Corporation
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
#include <zephyr/drivers/dma.h>
|
|
#include <zephyr/internal/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(const struct device *dev, uint32_t channel)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_DMA(dev, start));
|
|
return z_impl_dma_start((const struct device *)dev, channel);
|
|
}
|
|
#include <syscalls/dma_start_mrsh.c>
|
|
|
|
static inline int z_vrfy_dma_stop(const struct device *dev, uint32_t channel)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_DMA(dev, stop));
|
|
return z_impl_dma_stop((const struct device *)dev, channel);
|
|
}
|
|
#include <syscalls/dma_stop_mrsh.c>
|