80 lines
2.8 KiB
C
80 lines
2.8 KiB
C
/*
|
|
* Copyright (c) 2022 Bjarki Arge Andreasen
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
#include <zephyr/drivers/rtc.h>
|
|
#include <zephyr/internal/syscall_handler.h>
|
|
|
|
static inline int z_vrfy_rtc_set_time(const struct device *dev, const struct rtc_time *timeptr)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_RTC(dev, set_time));
|
|
K_OOPS(K_SYSCALL_MEMORY_READ(timeptr, sizeof(struct rtc_time)));
|
|
return z_impl_rtc_set_time(dev, timeptr);
|
|
}
|
|
#include <syscalls/rtc_set_time_mrsh.c>
|
|
|
|
static inline int z_vrfy_rtc_get_time(const struct device *dev, struct rtc_time *timeptr)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_RTC(dev, get_time));
|
|
K_OOPS(K_SYSCALL_MEMORY_WRITE(timeptr, sizeof(struct rtc_time)));
|
|
return z_impl_rtc_get_time(dev, timeptr);
|
|
}
|
|
#include <syscalls/rtc_get_time_mrsh.c>
|
|
|
|
#ifdef CONFIG_RTC_ALARM
|
|
static inline int z_vrfy_rtc_alarm_get_supported_fields(const struct device *dev, uint16_t id,
|
|
uint16_t *mask)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_RTC(dev, alarm_get_supported_fields));
|
|
K_OOPS(K_SYSCALL_MEMORY_WRITE(mask, sizeof(uint16_t)));
|
|
return z_impl_rtc_alarm_get_supported_fields(dev, id, mask);
|
|
}
|
|
#include <syscalls/rtc_alarm_get_supported_fields_mrsh.c>
|
|
|
|
static inline int z_vrfy_rtc_alarm_set_time(const struct device *dev, uint16_t id, uint16_t mask,
|
|
const struct rtc_time *timeptr)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_RTC(dev, alarm_set_time));
|
|
K_OOPS(K_SYSCALL_MEMORY_READ(timeptr, sizeof(struct rtc_time)));
|
|
return z_impl_rtc_alarm_set_time(dev, id, mask, timeptr);
|
|
}
|
|
#include <syscalls/rtc_alarm_set_time_mrsh.c>
|
|
|
|
static inline int z_vrfy_rtc_alarm_get_time(const struct device *dev, uint16_t id, uint16_t *mask,
|
|
struct rtc_time *timeptr)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_RTC(dev, alarm_get_time));
|
|
K_OOPS(K_SYSCALL_MEMORY_WRITE(mask, sizeof(uint16_t)));
|
|
K_OOPS(K_SYSCALL_MEMORY_WRITE(timeptr, sizeof(struct rtc_time)));
|
|
return z_impl_rtc_alarm_get_time(dev, id, mask, timeptr);
|
|
}
|
|
#include <syscalls/rtc_alarm_get_time_mrsh.c>
|
|
|
|
static inline int z_vrfy_rtc_alarm_is_pending(const struct device *dev, uint16_t id)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_RTC(dev, alarm_is_pending));
|
|
return z_impl_rtc_alarm_is_pending(dev, id);
|
|
}
|
|
#include <syscalls/rtc_alarm_is_pending_mrsh.c>
|
|
#endif /* CONFIG_RTC_ALARM */
|
|
|
|
#ifdef CONFIG_RTC_CALIBRATION
|
|
static inline int z_vrfy_rtc_set_calibration(const struct device *dev, int32_t calibration)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_RTC(dev, set_calibration));
|
|
return z_impl_rtc_set_calibration(dev, calibration);
|
|
}
|
|
|
|
#include <syscalls/rtc_set_calibration_mrsh.c>
|
|
|
|
static inline int z_vrfy_rtc_get_calibration(const struct device *dev, int32_t *calibration)
|
|
{
|
|
K_OOPS(K_SYSCALL_DRIVER_RTC(dev, get_calibration));
|
|
K_OOPS(K_SYSCALL_MEMORY_WRITE(calibration, sizeof(int32_t)));
|
|
return z_impl_rtc_get_calibration(dev, calibration);
|
|
}
|
|
#include <syscalls/rtc_get_calibration_mrsh.c>
|
|
#endif /* CONFIG_RTC_CALIBRATION */
|