1 /*
2  * Copyright (c) 2024 Nordic Semiconductor
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <zephyr/drivers/comparator.h>
8 #include <zephyr/internal/syscall_handler.h>
9 
z_vrfy_comparator_get_output(const struct device * dev)10 static inline int z_vrfy_comparator_get_output(const struct device *dev)
11 {
12 	K_OOPS(K_SYSCALL_DRIVER_COMPARATOR(dev, get_output));
13 	return z_impl_comparator_get_output(dev);
14 }
15 #include <zephyr/syscalls/comparator_get_output_mrsh.c>
16 
z_vrfy_comparator_set_trigger(const struct device * dev,enum comparator_trigger trigger)17 static inline int z_vrfy_comparator_set_trigger(const struct device *dev,
18 						enum comparator_trigger trigger)
19 {
20 	K_OOPS(K_SYSCALL_DRIVER_COMPARATOR(dev, set_trigger));
21 	return z_impl_comparator_set_trigger(dev, trigger);
22 }
23 #include <zephyr/syscalls/comparator_set_trigger_mrsh.c>
24 
z_vrfy_comparator_trigger_is_pending(const struct device * dev)25 static inline int z_vrfy_comparator_trigger_is_pending(const struct device *dev)
26 {
27 	K_OOPS(K_SYSCALL_DRIVER_COMPARATOR(dev, trigger_is_pending));
28 	return z_impl_comparator_trigger_is_pending(dev);
29 }
30 #include <zephyr/syscalls/comparator_trigger_is_pending_mrsh.c>
31