
/* auto-generated by gen_syscalls.py, don't edit */

#ifndef _ASMLANGUAGE

#include <syscall_list.h>
#include <syscall_macros.h>

#ifdef __cplusplus
extern "C" {
#endif

K_SYSCALL_DECLARE1(K_SYSCALL_RTC_READ, rtc_read, u32_t, struct device *, dev)

K_SYSCALL_DECLARE1_VOID(K_SYSCALL_RTC_ENABLE, rtc_enable, struct device *, dev)

K_SYSCALL_DECLARE1_VOID(K_SYSCALL_RTC_DISABLE, rtc_disable, struct device *, dev)

K_SYSCALL_DECLARE2(K_SYSCALL_RTC_SET_ALARM, rtc_set_alarm, int, struct device *, dev, const u32_t, alarm_val)

K_SYSCALL_DECLARE1(K_SYSCALL_RTC_GET_PENDING_INT, rtc_get_pending_int, int, struct device *, dev)

#ifdef __cplusplus
}
#endif

#endif
