From 2e13c372f1419f08dab7797b244681f889dd9bcf Mon Sep 17 00:00:00 2001 From: Michal Hanus Date: Mon, 14 Apr 2025 22:04:32 +0200 Subject: nrfdemo --- .../include/generated/syscalls/maxim_ds3231.h | 76 ++++++++++++++++++++++ 1 file changed, 76 insertions(+) create mode 100644 nrfdemo/builddk/zephyr/include/generated/syscalls/maxim_ds3231.h (limited to 'nrfdemo/builddk/zephyr/include/generated/syscalls/maxim_ds3231.h') diff --git a/nrfdemo/builddk/zephyr/include/generated/syscalls/maxim_ds3231.h b/nrfdemo/builddk/zephyr/include/generated/syscalls/maxim_ds3231.h new file mode 100644 index 0000000..7a656a4 --- /dev/null +++ b/nrfdemo/builddk/zephyr/include/generated/syscalls/maxim_ds3231.h @@ -0,0 +1,76 @@ +/* auto-generated by gen_syscalls.py, don't edit */ + +#ifndef Z_INCLUDE_SYSCALLS_MAXIM_DS3231_H +#define Z_INCLUDE_SYSCALLS_MAXIM_DS3231_H + + +#include + +#ifndef _ASMLANGUAGE + +#include + +#include +#include + +#include + + +#ifdef __cplusplus +extern "C" { +#endif + +extern int z_impl_maxim_ds3231_req_syncpoint(const struct device * dev, struct k_poll_signal * signal); + +__pinned_func +static inline int maxim_ds3231_req_syncpoint(const struct device * dev, struct k_poll_signal * signal) +{ +#ifdef CONFIG_USERSPACE + if (z_syscall_trap()) { + union { uintptr_t x; const struct device * val; } parm0 = { .val = dev }; + union { uintptr_t x; struct k_poll_signal * val; } parm1 = { .val = signal }; + return (int) arch_syscall_invoke2(parm0.x, parm1.x, K_SYSCALL_MAXIM_DS3231_REQ_SYNCPOINT); + } +#endif + compiler_barrier(); + return z_impl_maxim_ds3231_req_syncpoint(dev, signal); +} + +#if defined(CONFIG_TRACING_SYSCALL) +#ifndef DISABLE_SYSCALL_TRACING + +#define maxim_ds3231_req_syncpoint(dev, signal) ({ int syscall__retval; sys_port_trace_syscall_enter(K_SYSCALL_MAXIM_DS3231_REQ_SYNCPOINT, maxim_ds3231_req_syncpoint, dev, signal); syscall__retval = maxim_ds3231_req_syncpoint(dev, signal); sys_port_trace_syscall_exit(K_SYSCALL_MAXIM_DS3231_REQ_SYNCPOINT, maxim_ds3231_req_syncpoint, dev, signal, syscall__retval); syscall__retval; }) +#endif +#endif + + +extern int z_impl_maxim_ds3231_get_syncpoint(const struct device * dev, struct maxim_ds3231_syncpoint * syncpoint); + +__pinned_func +static inline int maxim_ds3231_get_syncpoint(const struct device * dev, struct maxim_ds3231_syncpoint * syncpoint) +{ +#ifdef CONFIG_USERSPACE + if (z_syscall_trap()) { + union { uintptr_t x; const struct device * val; } parm0 = { .val = dev }; + union { uintptr_t x; struct maxim_ds3231_syncpoint * val; } parm1 = { .val = syncpoint }; + return (int) arch_syscall_invoke2(parm0.x, parm1.x, K_SYSCALL_MAXIM_DS3231_GET_SYNCPOINT); + } +#endif + compiler_barrier(); + return z_impl_maxim_ds3231_get_syncpoint(dev, syncpoint); +} + +#if defined(CONFIG_TRACING_SYSCALL) +#ifndef DISABLE_SYSCALL_TRACING + +#define maxim_ds3231_get_syncpoint(dev, syncpoint) ({ int syscall__retval; sys_port_trace_syscall_enter(K_SYSCALL_MAXIM_DS3231_GET_SYNCPOINT, maxim_ds3231_get_syncpoint, dev, syncpoint); syscall__retval = maxim_ds3231_get_syncpoint(dev, syncpoint); sys_port_trace_syscall_exit(K_SYSCALL_MAXIM_DS3231_GET_SYNCPOINT, maxim_ds3231_get_syncpoint, dev, syncpoint, syscall__retval); syscall__retval; }) +#endif +#endif + + +#ifdef __cplusplus +} +#endif + +#endif +#endif /* include guard */ -- cgit v1.2.3