| /* |
| * Copyright (c) 2024 Nordic Semiconductor |
| * |
| * SPDX-License-Identifier: Apache-2.0 |
| */ |
| |
| #include <zephyr/drivers/comparator.h> |
| #include <zephyr/internal/syscall_handler.h> |
| |
| static inline int z_vrfy_comparator_get_output(const struct device *dev) |
| { |
| K_OOPS(K_SYSCALL_DRIVER_COMPARATOR(dev, get_output)); |
| return z_impl_comparator_get_output(dev); |
| } |
| #include <zephyr/syscalls/comparator_get_output_mrsh.c> |
| |
| static inline int z_vrfy_comparator_set_trigger(const struct device *dev, |
| enum comparator_trigger trigger) |
| { |
| K_OOPS(K_SYSCALL_DRIVER_COMPARATOR(dev, set_trigger)); |
| return z_impl_comparator_set_trigger(dev, trigger); |
| } |
| #include <zephyr/syscalls/comparator_set_trigger_mrsh.c> |
| |
| static inline int z_vrfy_comparator_trigger_is_pending(const struct device *dev) |
| { |
| K_OOPS(K_SYSCALL_DRIVER_COMPARATOR(dev, trigger_is_pending)); |
| return z_impl_comparator_trigger_is_pending(dev); |
| } |
| #include <zephyr/syscalls/comparator_trigger_is_pending_mrsh.c> |
