/* | |
* Copyright (c) 2017 Intel Corporation | |
* | |
* SPDX-License-Identifier: Apache-2.0 | |
*/ | |
#include <syscall_handler.h> | |
#include <aio_comparator.h> | |
_SYSCALL_HANDLER(aio_cmp_disable, dev, index) | |
{ | |
_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AIO); | |
return _impl_aio_cmp_disable((struct device *)dev, index); | |
} | |
_SYSCALL_HANDLER1_SIMPLE(aio_cmp_get_pending_int, K_OBJ_DRIVER_AIO, | |
struct device *); |