40 lines
1.0 KiB
C
40 lines
1.0 KiB
C
/*
|
|
* Copyright (c) 2018 Linaro Ltd.
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
#include <syscall_handler.h>
|
|
#include <drivers/led.h>
|
|
|
|
static inline int z_vrfy_led_blink(struct device *dev, u32_t led,
|
|
u32_t delay_on, u32_t delay_off)
|
|
{
|
|
Z_OOPS(Z_SYSCALL_DRIVER_LED(dev, blink));
|
|
return z_impl_led_blink((struct device *)dev, led, delay_on,
|
|
delay_off);
|
|
}
|
|
#include <syscalls/led_blink_mrsh.c>
|
|
|
|
static inline int z_vrfy_led_set_brightness(struct device *dev, u32_t led,
|
|
u8_t value)
|
|
{
|
|
Z_OOPS(Z_SYSCALL_DRIVER_LED(dev, set_brightness));
|
|
return z_impl_led_set_brightness((struct device *)dev, led, value);
|
|
}
|
|
#include <syscalls/led_set_brightness_mrsh.c>
|
|
|
|
static inline int z_vrfy_led_on(struct device *dev, u32_t led)
|
|
{
|
|
Z_OOPS(Z_SYSCALL_DRIVER_LED(dev, on));
|
|
return z_impl_led_on((struct device *)dev, led);
|
|
}
|
|
#include <syscalls/led_on_mrsh.c>
|
|
|
|
static inline int z_vrfy_led_off(struct device *dev, u32_t led)
|
|
{
|
|
Z_OOPS(Z_SYSCALL_DRIVER_LED(dev, off));
|
|
return z_impl_led_off((struct device *)dev, led);
|
|
}
|
|
#include <syscalls/led_off_mrsh.c>
|