From 6f4c80fbc1907311066eac8ee448ad994324c2a2 Mon Sep 17 00:00:00 2001 From: Yong Cong Sin Date: Tue, 17 Oct 2023 13:11:14 +0800 Subject: [PATCH] build: namespace generated syscalls files into `zephyr/` Namespace the generated syscall files in into the `zephyr/` folder. Updated in-tree sources that use these syscall files accordingly. Signed-off-by: Yong Cong Sin --- CMakeLists.txt | 6 +-- arch/riscv/core/fatal.c | 2 +- doc/kernel/drivers/index.rst | 4 +- doc/kernel/usermode/syscalls.rst | 6 +-- drivers/adc/adc_handlers.c | 6 +-- drivers/auxdisplay/auxdisplay_handlers.c | 38 +++++++-------- drivers/bbram/bbram_handlers.c | 12 ++--- drivers/cache/cache_handlers.c | 6 +-- drivers/can/can_handlers.c | 44 ++++++++--------- drivers/charger/charger_handlers.c | 4 +- drivers/console/uart_mux.c | 2 +- drivers/counter/counter_handlers.c | 32 ++++++------- drivers/counter/maxim_ds3231.c | 4 +- drivers/dac/dac_handlers.c | 4 +- drivers/dma/dma_handlers.c | 4 +- drivers/eeprom/eeprom_handlers.c | 6 +-- drivers/entropy/entropy_handlers.c | 2 +- drivers/espi/espi_handlers.c | 26 +++++----- drivers/flash/flash_handlers.c | 22 ++++----- drivers/flash/flash_simulator.c | 2 +- drivers/flash/nrf_qspi_nor.c | 2 +- .../emul_fuel_gauge_syscall_handlers.c | 4 +- .../fuel_gauge/fuel_gauge_syscall_handlers.c | 12 ++--- drivers/gpio/gpio_handlers.c | 20 ++++---- drivers/hwinfo/hwinfo_handlers.c | 8 ++-- drivers/hwspinlock/hwspinlock_handlers.c | 8 ++-- drivers/i2c/i2c_handlers.c | 12 ++--- drivers/i2s/i2s_handlers.c | 8 ++-- drivers/i3c/i3c_handlers.c | 4 +- drivers/ipm/ipm_handlers.c | 8 ++-- drivers/kscan/kscan_handlers.c | 6 +-- drivers/led/led_handlers.c | 16 +++---- drivers/mbox/mbox_handlers.c | 8 ++-- .../timeaware_gpio/timeaware_gpio_handlers.c | 12 ++--- drivers/peci/peci_handlers.c | 8 ++-- drivers/ps2/ps2_handlers.c | 10 ++-- drivers/ptp_clock/ptp_clock.c | 2 +- drivers/pwm/pwm_handlers.c | 10 ++-- drivers/retained_mem/retained_mem_handlers.c | 8 ++-- drivers/rtc/rtc_handlers.c | 16 +++---- drivers/sensor/sensor_handlers.c | 14 +++--- drivers/serial/uart_handlers.c | 48 +++++++++---------- drivers/smbus/smbus_handlers.c | 34 ++++++------- drivers/spi/spi_handlers.c | 4 +- .../virtualization/virt_ivshmem_handlers.c | 24 +++++----- drivers/w1/w1_handlers.c | 22 ++++----- drivers/watchdog/wdt_handlers.c | 6 +-- include/zephyr/arch/riscv/error.h | 2 +- include/zephyr/cache.h | 2 +- include/zephyr/device.h | 2 +- include/zephyr/drivers/adc.h | 2 +- include/zephyr/drivers/auxdisplay.h | 2 +- include/zephyr/drivers/bbram.h | 2 +- include/zephyr/drivers/can.h | 2 +- include/zephyr/drivers/charger.h | 2 +- include/zephyr/drivers/console/uart_mux.h | 2 +- include/zephyr/drivers/counter.h | 2 +- include/zephyr/drivers/dac.h | 2 +- include/zephyr/drivers/dma.h | 2 +- include/zephyr/drivers/eeprom.h | 2 +- include/zephyr/drivers/emul_fuel_gauge.h | 2 +- include/zephyr/drivers/entropy.h | 2 +- include/zephyr/drivers/espi.h | 2 +- include/zephyr/drivers/espi_saf.h | 2 +- include/zephyr/drivers/flash.h | 2 +- .../zephyr/drivers/flash/flash_simulator.h | 2 +- include/zephyr/drivers/flash/nrf_qspi_nor.h | 2 +- include/zephyr/drivers/fuel_gauge.h | 2 +- include/zephyr/drivers/gpio.h | 2 +- include/zephyr/drivers/hwinfo.h | 2 +- include/zephyr/drivers/hwspinlock.h | 2 +- include/zephyr/drivers/i2c.h | 2 +- include/zephyr/drivers/i2s.h | 2 +- include/zephyr/drivers/i3c.h | 2 +- include/zephyr/drivers/ipm.h | 2 +- include/zephyr/drivers/kscan.h | 2 +- include/zephyr/drivers/led.h | 2 +- include/zephyr/drivers/mbox.h | 2 +- include/zephyr/drivers/mdio.h | 2 +- .../misc/timeaware_gpio/timeaware_gpio.h | 2 +- include/zephyr/drivers/peci.h | 2 +- include/zephyr/drivers/ps2.h | 2 +- include/zephyr/drivers/ptp_clock.h | 2 +- include/zephyr/drivers/pwm.h | 2 +- include/zephyr/drivers/reset.h | 2 +- include/zephyr/drivers/retained_mem.h | 2 +- include/zephyr/drivers/rtc.h | 2 +- include/zephyr/drivers/rtc/maxim_ds3231.h | 2 +- include/zephyr/drivers/sdhc.h | 2 +- include/zephyr/drivers/sensor.h | 2 +- .../zephyr/drivers/sip_svc/sip_svc_driver.h | 2 +- include/zephyr/drivers/smbus.h | 2 +- include/zephyr/drivers/spi.h | 2 +- include/zephyr/drivers/syscon.h | 2 +- include/zephyr/drivers/uart.h | 2 +- include/zephyr/drivers/usb/usb_bc12.h | 2 +- .../zephyr/drivers/virtualization/ivshmem.h | 2 +- include/zephyr/drivers/w1.h | 2 +- include/zephyr/drivers/watchdog.h | 2 +- include/zephyr/kernel.h | 2 +- include/zephyr/logging/log_ctrl.h | 2 +- include/zephyr/logging/log_msg.h | 2 +- include/zephyr/mgmt/updatehub.h | 2 +- include/zephyr/net/ethernet.h | 2 +- include/zephyr/net/net_if.h | 2 +- include/zephyr/net/net_ip.h | 2 +- include/zephyr/net/phy.h | 2 +- include/zephyr/net/socket.h | 2 +- include/zephyr/net/socket_select.h | 2 +- include/zephyr/posix/time.h | 2 +- include/zephyr/random/random.h | 2 +- include/zephyr/rtio/rtio.h | 2 +- include/zephyr/sys/atomic_c.h | 2 +- include/zephyr/sys/errno_private.h | 2 +- include/zephyr/sys/kobject.h | 2 +- include/zephyr/sys/libc-hooks.h | 2 +- include/zephyr/sys/mem_manage.h | 2 +- include/zephyr/sys/mutex.h | 2 +- include/zephyr/sys/time_units.h | 2 +- kernel/atomic_c.c | 20 ++++---- kernel/busy_wait.c | 2 +- kernel/condvar.c | 8 ++-- kernel/device.c | 4 +- kernel/dynamic.c | 4 +- kernel/errno.c | 2 +- kernel/events.c | 14 +++--- kernel/futex.c | 4 +- kernel/msg_q.c | 18 +++---- kernel/mutex.c | 6 +-- kernel/paging/statistics.c | 10 ++-- kernel/pipes.c | 12 ++--- kernel/poll.c | 10 ++-- kernel/queue.c | 16 +++---- kernel/sched.c | 26 +++++----- kernel/sem.c | 10 ++-- kernel/stack.c | 6 +-- kernel/thread.c | 20 ++++---- kernel/timeout.c | 4 +- kernel/timer.c | 16 +++---- kernel/userspace_handler.c | 8 ++-- lib/libc/arcmwdt/libc-hooks.c | 2 +- .../minimal/source/stdout/stdout_console.c | 4 +- lib/libc/newlib/libc-hooks.c | 4 +- lib/libc/picolibc/libc-hooks.c | 2 +- lib/os/mutex.c | 4 +- lib/os/printk.c | 2 +- lib/posix/clock.c | 2 +- .../userspace/prod_consumer/src/app_syscall.c | 2 +- .../userspace/prod_consumer/src/app_syscall.h | 2 +- .../prod_consumer/src/sample_driver.h | 2 +- .../src/sample_driver_handlers.c | 4 +- scripts/build/gen_syscalls.py | 2 +- subsys/logging/log_core.c | 6 +-- subsys/logging/log_mgmt.c | 2 +- subsys/logging/log_msg.c | 4 +- subsys/mgmt/mcumgr/transport/src/smp_shell.c | 2 +- subsys/mgmt/updatehub/updatehub_handlers.c | 10 ++-- subsys/net/ip/net_if.c | 18 +++---- subsys/net/ip/utils.c | 4 +- subsys/net/l2/ethernet/ethernet.c | 2 +- subsys/net/lib/sockets/getaddrinfo.c | 2 +- subsys/net/lib/sockets/socketpair.c | 2 +- subsys/net/lib/sockets/sockets.c | 38 +++++++-------- subsys/net/lib/sockets/sockets_misc.c | 2 +- subsys/net/lib/sockets/sockets_select.c | 2 +- subsys/random/rand32_handlers.c | 6 +-- subsys/rtio/rtio_handlers.c | 12 ++--- .../ztest/include/zephyr/ztest_error_hook.h | 2 +- .../ztest/include/zephyr/ztest_test.h | 2 +- .../ztest/include/zephyr/ztest_test_new.h | 2 +- subsys/testsuite/ztest/src/ztest.c | 4 +- subsys/testsuite/ztest/src/ztest_error_hook.c | 4 +- subsys/testsuite/ztest/src/ztest_new.c | 8 ++-- .../arm/arm_interrupt/src/arm_interrupt.c | 2 +- .../arm/arm_interrupt/src/test_syscalls.h | 2 +- .../arm/arm_thread_swap/src/arm_syscalls.c | 4 +- .../arm/arm_thread_swap/src/test_syscalls.h | 2 +- tests/arch/x86/cpu_scrubs_regs/src/main.c | 2 +- .../x86/cpu_scrubs_regs/src/test_syscalls.h | 2 +- tests/arch/x86/pagetables/src/main.c | 2 +- tests/arch/x86/pagetables/src/main.h | 2 +- tests/benchmarks/footprints/src/userspace.c | 4 +- tests/benchmarks/footprints/src/userspace.h | 2 +- tests/kernel/fatal/exception/src/main.c | 2 +- .../fatal/exception/src/test_syscalls.h | 2 +- .../mem_protect/mem_protect/src/inherit.c | 2 +- .../mem_protect/mem_protect/src/mem_protect.h | 2 +- tests/kernel/mem_protect/syscalls/src/main.c | 16 +++---- .../mem_protect/syscalls/src/test_syscalls.h | 2 +- tests/kernel/mem_protect/userspace/src/main.c | 2 +- .../mem_protect/userspace/src/test_syscall.h | 2 +- tests/kernel/threads/thread_stack/src/main.c | 4 +- .../threads/thread_stack/src/test_syscall.h | 2 +- .../logging/log_benchmark/src/test_helpers.c | 6 +-- .../logging/log_benchmark/src/test_helpers.h | 2 +- 195 files changed, 582 insertions(+), 582 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index c29c6189a13d785..8b328c7348123ce 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -764,7 +764,7 @@ add_custom_target(${SYSCALL_LIST_H_TARGET} DEPENDS ${syscall_list_h} ${picolibc_ set_property(TARGET ${SYSCALL_LIST_H_TARGET} APPEND PROPERTY ADDITIONAL_CLEAN_FILES - ${CMAKE_CURRENT_BINARY_DIR}/include/generated/syscalls + ${CMAKE_CURRENT_BINARY_DIR}/include/generated/zephyr/syscalls ) add_custom_target(${PARSE_SYSCALLS_TARGET} @@ -785,12 +785,12 @@ if(CONFIG_TIMEOUT_64BIT) endif() add_custom_command(OUTPUT include/generated/syscall_dispatch.c ${syscall_list_h} - # Also, some files are written to include/generated/syscalls/ + # Also, some files are written to include/generated/zephyr/syscalls/ COMMAND ${PYTHON_EXECUTABLE} ${ZEPHYR_BASE}/scripts/build/gen_syscalls.py --json-file ${syscalls_json} # Read this file - --base-output include/generated/syscalls # Write to this dir + --base-output include/generated/zephyr/syscalls # Write to this dir --syscall-dispatch include/generated/syscall_dispatch.c # Write this file --syscall-list ${syscall_list_h} $<$:--gen-mrsh-files> diff --git a/arch/riscv/core/fatal.c b/arch/riscv/core/fatal.c index 171497ff0cac021..cf51e6f589f80e0 100644 --- a/arch/riscv/core/fatal.c +++ b/arch/riscv/core/fatal.c @@ -206,6 +206,6 @@ static void z_vrfy_user_fault(unsigned int reason) z_impl_user_fault(reason); } -#include +#include #endif /* CONFIG_USERSPACE */ diff --git a/doc/kernel/drivers/index.rst b/doc/kernel/drivers/index.rst index 33e1027c07eea15..ee00b977c8bf556 100644 --- a/doc/kernel/drivers/index.rst +++ b/doc/kernel/drivers/index.rst @@ -203,7 +203,7 @@ A device-specific API definition typically looks like this: __syscall int specific_from_user(const struct device *dev, int bar); /* Only needed when extensions include syscalls */ - #include + #include A driver implementing extensions to the subsystem will define the real implementation of both the subsystem API and the specific APIs: @@ -243,7 +243,7 @@ implementation of both the subsystem API and the specific APIs: return z_impl_specific_do_that(dev, bar) } - #include + #include #endif /* CONFIG_USERSPACE */ diff --git a/doc/kernel/usermode/syscalls.rst b/doc/kernel/usermode/syscalls.rst index 0ffdb48e71c8480..95d179805825c19 100644 --- a/doc/kernel/usermode/syscalls.rst +++ b/doc/kernel/usermode/syscalls.rst @@ -87,7 +87,7 @@ bottom of ``include/sensor.h``: .. code-block:: c - #include + #include C prototype functions must be declared in one of the directories listed in the CMake variable ``SYSCALL_INCLUDE_DIRS``. This list @@ -172,7 +172,7 @@ The body of the API is created in the generated system header. Using the example of :c:func:`k_sem_init()`, this API is declared in ``include/kernel.h``. At the bottom of ``include/kernel.h`` is:: - #include + #include Inside this header is the body of :c:func:`k_sem_init()`:: @@ -360,7 +360,7 @@ For example: Z_OOPS(Z_SYSCALL_OBJ(sem, K_OBJ_SEM)); return z_impl_k_sem_take(sem, timeout); } - #include + #include Verification Memory Access Policies diff --git a/drivers/adc/adc_handlers.c b/drivers/adc/adc_handlers.c index cf6319a6264aa9f..2810c69cfa786b8 100644 --- a/drivers/adc/adc_handlers.c +++ b/drivers/adc/adc_handlers.c @@ -21,7 +21,7 @@ static inline int z_vrfy_adc_channel_setup(const struct device *dev, return z_impl_adc_channel_setup((const struct device *)dev, &channel_cfg); } -#include +#include static bool copy_sequence(struct adc_sequence *dst, struct adc_sequence_options *options, @@ -66,7 +66,7 @@ static inline int z_vrfy_adc_read(const struct device *dev, return z_impl_adc_read((const struct device *)dev, &sequence); } -#include +#include #ifdef CONFIG_ADC_ASYNC static inline int z_vrfy_adc_read_async(const struct device *dev, @@ -89,5 +89,5 @@ static inline int z_vrfy_adc_read_async(const struct device *dev, return z_impl_adc_read_async((const struct device *)dev, &sequence, (struct k_poll_signal *)async); } -#include +#include #endif /* CONFIG_ADC_ASYNC */ diff --git a/drivers/auxdisplay/auxdisplay_handlers.c b/drivers/auxdisplay/auxdisplay_handlers.c index 8944b3da9fff83a..81a64ab858d20f0 100644 --- a/drivers/auxdisplay/auxdisplay_handlers.c +++ b/drivers/auxdisplay/auxdisplay_handlers.c @@ -12,21 +12,21 @@ static inline int z_vrfy_auxdisplay_display_on(const struct device *dev) Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_display_on(dev); } -#include +#include static inline int z_vrfy_auxdisplay_display_off(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_display_off(dev); } -#include +#include static inline int z_vrfy_auxdisplay_cursor_set_enabled(const struct device *dev, bool enabled) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_cursor_set_enabled(dev, enabled); } -#include +#include static inline int z_vrfy_auxdisplay_position_blinking_set_enabled(const struct device *dev, bool enabled) @@ -34,7 +34,7 @@ static inline int z_vrfy_auxdisplay_position_blinking_set_enabled(const struct d Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_position_blinking_set_enabled(dev, enabled); } -#include +#include static inline int z_vrfy_auxdisplay_cursor_shift_set(const struct device *dev, uint8_t direction, bool display_shift) @@ -42,7 +42,7 @@ static inline int z_vrfy_auxdisplay_cursor_shift_set(const struct device *dev, u Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_cursor_shift_set(dev, direction, display_shift); } -#include +#include static inline int z_vrfy_auxdisplay_cursor_position_set(const struct device *dev, enum auxdisplay_position type, @@ -51,7 +51,7 @@ static inline int z_vrfy_auxdisplay_cursor_position_set(const struct device *dev Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_cursor_position_set(dev, type, x, y); } -#include +#include static inline int z_vrfy_auxdisplay_cursor_position_get(const struct device *dev, int16_t *x, int16_t *y) @@ -59,7 +59,7 @@ static inline int z_vrfy_auxdisplay_cursor_position_get(const struct device *dev Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_cursor_position_get(dev, x, y); } -#include +#include static inline int z_vrfy_auxdisplay_display_position_set(const struct device *dev, enum auxdisplay_position type, @@ -68,7 +68,7 @@ static inline int z_vrfy_auxdisplay_display_position_set(const struct device *de Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_display_position_set(dev, type, x, y); } -#include +#include static inline int z_vrfy_auxdisplay_display_position_get(const struct device *dev, int16_t *x, int16_t *y) @@ -76,7 +76,7 @@ static inline int z_vrfy_auxdisplay_display_position_get(const struct device *de Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_display_position_get(dev, x, y); } -#include +#include static inline int z_vrfy_auxdisplay_capabilities_get(const struct device *dev, struct auxdisplay_capabilities *capabilities) @@ -84,14 +84,14 @@ static inline int z_vrfy_auxdisplay_capabilities_get(const struct device *dev, Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_capabilities_get(dev, capabilities); } -#include +#include static inline int z_vrfy_auxdisplay_clear(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_clear(dev); } -#include +#include static inline int z_vrfy_auxdisplay_brightness_get(const struct device *dev, uint8_t *brightness) @@ -99,7 +99,7 @@ static inline int z_vrfy_auxdisplay_brightness_get(const struct device *dev, Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_brightness_get(dev, brightness); } -#include +#include static inline int z_vrfy_auxdisplay_brightness_set(const struct device *dev, uint8_t brightness) @@ -107,7 +107,7 @@ static inline int z_vrfy_auxdisplay_brightness_set(const struct device *dev, Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_brightness_set(dev, brightness); } -#include +#include static inline int z_vrfy_auxdisplay_backlight_get(const struct device *dev, uint8_t *backlight) @@ -115,7 +115,7 @@ static inline int z_vrfy_auxdisplay_backlight_get(const struct device *dev, Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_backlight_get(dev, backlight); } -#include +#include static inline int z_vrfy_auxdisplay_backlight_set(const struct device *dev, uint8_t backlight) @@ -123,14 +123,14 @@ static inline int z_vrfy_auxdisplay_backlight_set(const struct device *dev, Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_backlight_set(dev, backlight); } -#include +#include static inline int z_vrfy_auxdisplay_is_busy(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_is_busy(dev); } -#include +#include static inline int z_vrfy_auxdisplay_custom_character_set(const struct device *dev, struct auxdisplay_character *character) @@ -138,7 +138,7 @@ static inline int z_vrfy_auxdisplay_custom_character_set(const struct device *de Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_custom_character_set(dev, character); } -#include +#include static inline int z_vrfy_auxdisplay_write(const struct device *dev, const uint8_t *data, uint16_t len) @@ -146,7 +146,7 @@ static inline int z_vrfy_auxdisplay_write(const struct device *dev, const uint8_ Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_write(dev, data, len); } -#include +#include static inline int z_vrfy_auxdisplay_custom_command(const struct device *dev, struct auxdisplay_custom_data *data) @@ -154,4 +154,4 @@ static inline int z_vrfy_auxdisplay_custom_command(const struct device *dev, Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_AUXDISPLAY)); return z_impl_auxdisplay_custom_command(dev, data); } -#include +#include diff --git a/drivers/bbram/bbram_handlers.c b/drivers/bbram/bbram_handlers.c index 1bc20dcd359bd2a..9b1b4c16a173390 100644 --- a/drivers/bbram/bbram_handlers.c +++ b/drivers/bbram/bbram_handlers.c @@ -12,21 +12,21 @@ static inline int z_vrfy_bbram_check_invalid(const struct device *dev) Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_BBRAM)); return z_impl_bbram_check_invalid(dev); } -#include +#include static inline int z_vrfy_bbram_check_standby_power(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_BBRAM)); return z_impl_bbram_check_standby_power(dev); } -#include +#include static inline int z_vrfy_bbram_check_power(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_BBRAM)); return z_impl_bbram_check_power(dev); } -#include +#include static inline int z_vrfy_bbram_get_size(const struct device *dev, size_t *size) { @@ -34,7 +34,7 @@ static inline int z_vrfy_bbram_get_size(const struct device *dev, size_t *size) Z_OOPS(Z_SYSCALL_MEMORY_WRITE(size, sizeof(size_t))); return z_impl_bbram_get_size(dev, size); } -#include +#include static inline int z_vrfy_bbram_read(const struct device *dev, size_t offset, size_t size, uint8_t *data) @@ -43,7 +43,7 @@ static inline int z_vrfy_bbram_read(const struct device *dev, size_t offset, Z_OOPS(Z_SYSCALL_MEMORY_WRITE(data, size)); return z_impl_bbram_read(dev, offset, size, data); } -#include +#include static inline int z_vrfy_bbram_write(const struct device *dev, size_t offset, size_t size, const uint8_t *data) @@ -52,4 +52,4 @@ static inline int z_vrfy_bbram_write(const struct device *dev, size_t offset, Z_OOPS(Z_SYSCALL_MEMORY_READ(data, size)); return z_impl_bbram_write(dev, offset, size, data); } -#include +#include diff --git a/drivers/cache/cache_handlers.c b/drivers/cache/cache_handlers.c index 99d7cec501cac21..9d5917bceebda59 100644 --- a/drivers/cache/cache_handlers.c +++ b/drivers/cache/cache_handlers.c @@ -13,7 +13,7 @@ static inline int z_vrfy_sys_cache_data_flush_range(void *addr, size_t size) return z_impl_sys_cache_data_flush_range(addr, size); } -#include +#include static inline int z_vrfy_sys_cache_data_invd_range(void *addr, size_t size) { @@ -21,7 +21,7 @@ static inline int z_vrfy_sys_cache_data_invd_range(void *addr, size_t size) return z_impl_sys_cache_data_invd_range(addr, size); } -#include +#include static inline int z_vrfy_sys_cache_data_flush_and_invd_range(void *addr, size_t size) { @@ -29,4 +29,4 @@ static inline int z_vrfy_sys_cache_data_flush_and_invd_range(void *addr, size_t return z_impl_sys_cache_data_flush_and_invd_range(addr, size); } -#include +#include diff --git a/drivers/can/can_handlers.c b/drivers/can/can_handlers.c index e5a8d57b6aa21a4..1717da3cef7565f 100644 --- a/drivers/can/can_handlers.c +++ b/drivers/can/can_handlers.c @@ -21,7 +21,7 @@ static int z_vrfy_can_calc_timing(const struct device *dev, struct can_timing *r return err; } -#include +#include static inline int z_vrfy_can_set_timing(const struct device *dev, const struct can_timing *timing) @@ -33,7 +33,7 @@ static inline int z_vrfy_can_set_timing(const struct device *dev, return z_impl_can_set_timing(dev, &timing_copy); } -#include +#include static inline int z_vrfy_can_get_core_clock(const struct device *dev, uint32_t *rate) @@ -43,7 +43,7 @@ static inline int z_vrfy_can_get_core_clock(const struct device *dev, return z_impl_can_get_core_clock(dev, rate); } -#include +#include static inline int z_vrfy_can_get_max_bitrate(const struct device *dev, uint32_t *max_bitrate) @@ -54,7 +54,7 @@ static inline int z_vrfy_can_get_max_bitrate(const struct device *dev, return z_impl_can_get_max_bitrate(dev, max_bitrate); } -#include +#include static inline const struct can_timing *z_vrfy_can_get_timing_min(const struct device *dev) { @@ -62,7 +62,7 @@ static inline const struct can_timing *z_vrfy_can_get_timing_min(const struct de return z_impl_can_get_timing_min(dev); } -#include +#include static inline const struct can_timing *z_vrfy_can_get_timing_max(const struct device *dev) { @@ -70,7 +70,7 @@ static inline const struct can_timing *z_vrfy_can_get_timing_max(const struct de return z_impl_can_get_timing_max(dev); } -#include +#include #ifdef CONFIG_CAN_FD_MODE @@ -88,7 +88,7 @@ static int z_vrfy_can_calc_timing_data(const struct device *dev, struct can_timi return err; } -#include +#include static inline const struct can_timing *z_vrfy_can_get_timing_data_min(const struct device *dev) { @@ -96,7 +96,7 @@ static inline const struct can_timing *z_vrfy_can_get_timing_data_min(const stru return z_impl_can_get_timing_data_min(dev); } -#include +#include static inline const struct can_timing *z_vrfy_can_get_timing_data_max(const struct device *dev) { @@ -104,7 +104,7 @@ static inline const struct can_timing *z_vrfy_can_get_timing_data_max(const stru return z_impl_can_get_timing_data_max(dev); } -#include +#include static inline int z_vrfy_can_set_timing_data(const struct device *dev, const struct can_timing *timing_data) @@ -116,7 +116,7 @@ static inline int z_vrfy_can_set_timing_data(const struct device *dev, return z_impl_can_set_timing_data(dev, &timing_data_copy); } -#include +#include static inline int z_vrfy_can_set_bitrate_data(const struct device *dev, uint32_t bitrate_data) @@ -125,7 +125,7 @@ static inline int z_vrfy_can_set_bitrate_data(const struct device *dev, return z_impl_can_set_bitrate_data(dev, bitrate_data); } -#include +#include #endif /* CONFIG_CAN_FD_MODE */ @@ -136,7 +136,7 @@ static inline int z_vrfy_can_get_max_filters(const struct device *dev, bool ide) return z_impl_can_get_max_filters(dev, ide); } -#include +#include static inline int z_vrfy_can_get_capabilities(const struct device *dev, can_mode_t *cap) { @@ -145,7 +145,7 @@ static inline int z_vrfy_can_get_capabilities(const struct device *dev, can_mode return z_impl_can_get_capabilities(dev, cap); } -#include +#include static inline int z_vrfy_can_start(const struct device *dev) { @@ -153,7 +153,7 @@ static inline int z_vrfy_can_start(const struct device *dev) return z_impl_can_start(dev); } -#include +#include static inline int z_vrfy_can_stop(const struct device *dev) { @@ -161,7 +161,7 @@ static inline int z_vrfy_can_stop(const struct device *dev) return z_impl_can_stop(dev); } -#include +#include static inline int z_vrfy_can_set_mode(const struct device *dev, can_mode_t mode) { @@ -169,7 +169,7 @@ static inline int z_vrfy_can_set_mode(const struct device *dev, can_mode_t mode) return z_impl_can_set_mode(dev, mode); } -#include +#include static inline int z_vrfy_can_set_bitrate(const struct device *dev, uint32_t bitrate) { @@ -177,7 +177,7 @@ static inline int z_vrfy_can_set_bitrate(const struct device *dev, uint32_t bitr return z_impl_can_set_bitrate(dev, bitrate); } -#include +#include static inline int z_vrfy_can_send(const struct device *dev, const struct can_frame *frame, @@ -193,7 +193,7 @@ static inline int z_vrfy_can_send(const struct device *dev, return z_impl_can_send(dev, &frame_copy, timeout, callback, user_data); } -#include +#include static inline int z_vrfy_can_add_rx_filter_msgq(const struct device *dev, struct k_msgq *msgq, @@ -207,7 +207,7 @@ static inline int z_vrfy_can_add_rx_filter_msgq(const struct device *dev, return z_impl_can_add_rx_filter_msgq(dev, msgq, &filter_copy); } -#include +#include static inline void z_vrfy_can_remove_rx_filter(const struct device *dev, int filter_id) { @@ -215,7 +215,7 @@ static inline void z_vrfy_can_remove_rx_filter(const struct device *dev, int fil z_impl_can_remove_rx_filter(dev, filter_id); } -#include +#include static inline int z_vrfy_can_get_state(const struct device *dev, enum can_state *state, struct can_bus_err_cnt *err_cnt) @@ -232,7 +232,7 @@ static inline int z_vrfy_can_get_state(const struct device *dev, enum can_state return z_impl_can_get_state(dev, state, err_cnt); } -#include +#include #ifndef CONFIG_CAN_AUTO_BUS_OFF_RECOVERY static inline int z_vrfy_can_recover(const struct device *dev, k_timeout_t timeout) @@ -241,5 +241,5 @@ static inline int z_vrfy_can_recover(const struct device *dev, k_timeout_t timeo return z_impl_can_recover(dev, timeout); } -#include +#include #endif /* CONFIG_CAN_AUTO_BUS_OFF_RECOVERY */ diff --git a/drivers/charger/charger_handlers.c b/drivers/charger/charger_handlers.c index 7b658249a8472eb..435992592b09d1d 100644 --- a/drivers/charger/charger_handlers.c +++ b/drivers/charger/charger_handlers.c @@ -21,7 +21,7 @@ static inline int z_vrfy_charger_get_prop(const struct device *dev, const charge return ret; } -#include +#include static inline int z_vrfy_charger_set_prop(const struct device *dev, const charger_prop_t prop, const union charger_propval *val) @@ -35,4 +35,4 @@ static inline int z_vrfy_charger_set_prop(const struct device *dev, const charge return z_impl_charger_set_prop(dev, prop, &k_val); } -#include +#include diff --git a/drivers/console/uart_mux.c b/drivers/console/uart_mux.c index ba882b038eeec8d..2a3f26da68afa6a 100644 --- a/drivers/console/uart_mux.c +++ b/drivers/console/uart_mux.c @@ -759,7 +759,7 @@ static inline const struct device *z_vrfy_uart_mux_find(int dlci_address) { return z_impl_uart_mux_find(dlci_address); } -#include +#include #endif /* CONFIG_USERSPACE */ const struct device *z_impl_uart_mux_find(int dlci_address) diff --git a/drivers/counter/counter_handlers.c b/drivers/counter/counter_handlers.c index a493ea0c765040e..1730507f89b3d3c 100644 --- a/drivers/counter/counter_handlers.c +++ b/drivers/counter/counter_handlers.c @@ -21,30 +21,30 @@ COUNTER_HANDLER(get_pending_int) COUNTER_HANDLER(stop) COUNTER_HANDLER(start) -#include -#include -#include +#include +#include +#include static inline bool z_vrfy_counter_is_counting_up(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER)); return z_impl_counter_is_counting_up((const struct device *)dev); } -#include +#include static inline uint8_t z_vrfy_counter_get_num_of_channels(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER)); return z_impl_counter_get_num_of_channels((const struct device *)dev); } -#include +#include static inline uint32_t z_vrfy_counter_get_frequency(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER)); return z_impl_counter_get_frequency((const struct device *)dev); } -#include +#include static inline uint32_t z_vrfy_counter_us_to_ticks(const struct device *dev, uint64_t us) @@ -53,7 +53,7 @@ static inline uint32_t z_vrfy_counter_us_to_ticks(const struct device *dev, return z_impl_counter_us_to_ticks((const struct device *)dev, (uint64_t)us); } -#include +#include static inline uint64_t z_vrfy_counter_ticks_to_us(const struct device *dev, uint32_t ticks) @@ -62,7 +62,7 @@ static inline uint64_t z_vrfy_counter_ticks_to_us(const struct device *dev, return z_impl_counter_ticks_to_us((const struct device *)dev, (uint32_t)ticks); } -#include +#include static inline int z_vrfy_counter_get_value(const struct device *dev, uint32_t *ticks) @@ -80,7 +80,7 @@ static inline int z_vrfy_counter_get_value_64(const struct device *dev, return z_impl_counter_get_value_64((const struct device *)dev, ticks); } -#include +#include static inline int z_vrfy_counter_set_channel_alarm(const struct device *dev, uint8_t chan_id, @@ -97,7 +97,7 @@ static inline int z_vrfy_counter_set_channel_alarm(const struct device *dev, (const struct counter_alarm_cfg *)&cfg_copy); } -#include +#include static inline int z_vrfy_counter_cancel_channel_alarm(const struct device *dev, uint8_t chan_id) @@ -106,7 +106,7 @@ static inline int z_vrfy_counter_cancel_channel_alarm(const struct device *dev, return z_impl_counter_cancel_channel_alarm((const struct device *)dev, (uint8_t)chan_id); } -#include +#include static inline int z_vrfy_counter_set_top_value(const struct device *dev, const struct counter_top_cfg @@ -122,21 +122,21 @@ static inline int z_vrfy_counter_set_top_value(const struct device *dev, (const struct counter_top_cfg *) &cfg_copy); } -#include +#include static inline uint32_t z_vrfy_counter_get_top_value(const struct device *dev) { Z_OOPS(Z_SYSCALL_DRIVER_COUNTER(dev, get_top_value)); return z_impl_counter_get_top_value((const struct device *)dev); } -#include +#include static inline uint32_t z_vrfy_counter_get_max_top_value(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_COUNTER)); return z_impl_counter_get_max_top_value((const struct device *)dev); } -#include +#include static inline uint32_t z_vrfy_counter_get_guard_period(const struct device *dev, uint32_t flags) @@ -145,7 +145,7 @@ static inline uint32_t z_vrfy_counter_get_guard_period(const struct device *dev, return z_impl_counter_get_guard_period((const struct device *)dev, flags); } -#include +#include static inline int z_vrfy_counter_set_guard_period(const struct device *dev, uint32_t ticks, uint32_t flags) @@ -155,4 +155,4 @@ static inline int z_vrfy_counter_set_guard_period(const struct device *dev, ticks, flags); } -#include +#include diff --git a/drivers/counter/maxim_ds3231.c b/drivers/counter/maxim_ds3231.c index 514ddd32b1af327..edbba78f81d0736 100644 --- a/drivers/counter/maxim_ds3231.c +++ b/drivers/counter/maxim_ds3231.c @@ -1320,7 +1320,7 @@ int z_vrfy_maxim_ds3231_get_syncpoint(const struct device *dev, return rv; } -#include +#include int z_vrfy_maxim_ds3231_req_syncpoint(const struct device *dev, struct k_poll_signal *sig) @@ -1333,6 +1333,6 @@ int z_vrfy_maxim_ds3231_req_syncpoint(const struct device *dev, return z_impl_maxim_ds3231_req_syncpoint(dev, sig); } -#include +#include #endif /* CONFIG_USERSPACE */ diff --git a/drivers/dac/dac_handlers.c b/drivers/dac/dac_handlers.c index aa6660651e26b63..4baabf1772d9334 100644 --- a/drivers/dac/dac_handlers.c +++ b/drivers/dac/dac_handlers.c @@ -21,7 +21,7 @@ static inline int z_vrfy_dac_channel_setup(const struct device *dev, return z_impl_dac_channel_setup((const struct device *)dev, &channel_cfg); } -#include +#include static inline int z_vrfy_dac_write_value(const struct device *dev, uint8_t channel, uint32_t value) @@ -31,4 +31,4 @@ static inline int z_vrfy_dac_write_value(const struct device *dev, return z_impl_dac_write_value((const struct device *)dev, channel, value); } -#include +#include diff --git a/drivers/dma/dma_handlers.c b/drivers/dma/dma_handlers.c index 058cbbf462312f1..4d2d0c14239b9de 100644 --- a/drivers/dma/dma_handlers.c +++ b/drivers/dma/dma_handlers.c @@ -16,11 +16,11 @@ static inline int z_vrfy_dma_start(const struct device *dev, uint32_t channel) Z_OOPS(Z_SYSCALL_DRIVER_DMA(dev, start)); return z_impl_dma_start((const struct device *)dev, channel); } -#include +#include static inline int z_vrfy_dma_stop(const struct device *dev, uint32_t channel) { Z_OOPS(Z_SYSCALL_DRIVER_DMA(dev, stop)); return z_impl_dma_stop((const struct device *)dev, channel); } -#include +#include diff --git a/drivers/eeprom/eeprom_handlers.c b/drivers/eeprom/eeprom_handlers.c index 79e00d3a6fd60f1..4b70e090145a06c 100644 --- a/drivers/eeprom/eeprom_handlers.c +++ b/drivers/eeprom/eeprom_handlers.c @@ -16,7 +16,7 @@ static inline int z_vrfy_eeprom_read(const struct device *dev, off_t offset, (void *)data, len); } -#include +#include static inline int z_vrfy_eeprom_write(const struct device *dev, off_t offset, const void *data, size_t len) @@ -26,11 +26,11 @@ static inline int z_vrfy_eeprom_write(const struct device *dev, off_t offset, return z_impl_eeprom_write((const struct device *)dev, offset, (const void *)data, len); } -#include +#include static inline size_t z_vrfy_eeprom_get_size(const struct device *dev) { Z_OOPS(Z_SYSCALL_DRIVER_EEPROM(dev, size)); return z_impl_eeprom_get_size((const struct device *)dev); } -#include +#include diff --git a/drivers/entropy/entropy_handlers.c b/drivers/entropy/entropy_handlers.c index 7eb4dcba0c434c4..502998bc72cf137 100644 --- a/drivers/entropy/entropy_handlers.c +++ b/drivers/entropy/entropy_handlers.c @@ -17,4 +17,4 @@ static inline int z_vrfy_entropy_get_entropy(const struct device *dev, (uint8_t *)buffer, len); } -#include +#include diff --git a/drivers/espi/espi_handlers.c b/drivers/espi/espi_handlers.c index d6800fe0f6ea028..d6e1d7c31def8b8 100644 --- a/drivers/espi/espi_handlers.c +++ b/drivers/espi/espi_handlers.c @@ -19,7 +19,7 @@ static inline int z_vrfy_espi_config(const struct device *dev, return z_impl_espi_config(dev, &cfg_copy); } -#include +#include static inline bool z_vrfy_espi_get_channel_status(const struct device *dev, enum espi_channel ch) @@ -28,7 +28,7 @@ static inline bool z_vrfy_espi_get_channel_status(const struct device *dev, return z_impl_espi_get_channel_status(dev, ch); } -#include +#include static inline int z_vrfy_espi_read_lpc_request(const struct device *dev, enum lpc_peripheral_opcode op, @@ -44,7 +44,7 @@ static inline int z_vrfy_espi_read_lpc_request(const struct device *dev, return ret; } -#include +#include static inline int z_vrfy_espi_write_lpc_request(const struct device *dev, enum lpc_peripheral_opcode op, @@ -57,7 +57,7 @@ static inline int z_vrfy_espi_write_lpc_request(const struct device *dev, return z_impl_espi_write_lpc_request(dev, op, &data_copy); } -#include +#include static inline int z_vrfy_espi_send_vwire(const struct device *dev, enum espi_vwire_signal signal, @@ -67,7 +67,7 @@ static inline int z_vrfy_espi_send_vwire(const struct device *dev, return z_impl_espi_send_vwire(dev, signal, level); } -#include +#include static inline int z_vrfy_espi_receive_vwire(const struct device *dev, enum espi_vwire_signal signal, @@ -83,7 +83,7 @@ static inline int z_vrfy_espi_receive_vwire(const struct device *dev, return ret; } -#include +#include static inline int z_vrfy_espi_read_request(const struct device *dev, struct espi_request_packet *req) @@ -103,7 +103,7 @@ static inline int z_vrfy_espi_read_request(const struct device *dev, return ret; } -#include +#include static inline int z_vrfy_espi_write_request(const struct device *dev, struct espi_request_packet *req) @@ -120,7 +120,7 @@ static inline int z_vrfy_espi_write_request(const struct device *dev, return ret; } -#include +#include static inline int z_vrfy_espi_send_oob(const struct device *dev, struct espi_oob_packet *pckt) @@ -137,7 +137,7 @@ static inline int z_vrfy_espi_send_oob(const struct device *dev, return ret; } -#include +#include static inline int z_vrfy_espi_receive_oob(const struct device *dev, struct espi_oob_packet *pckt) @@ -156,7 +156,7 @@ static inline int z_vrfy_espi_receive_oob(const struct device *dev, return ret; } -#include +#include static inline int z_vrfy_espi_read_flash(const struct device *dev, struct espi_flash_packet *pckt) @@ -175,7 +175,7 @@ static inline int z_vrfy_espi_read_flash(const struct device *dev, return ret; } -#include +#include static inline int z_vrfy_espi_write_flash(const struct device *dev, struct espi_flash_packet *pckt) @@ -192,7 +192,7 @@ static inline int z_vrfy_espi_write_flash(const struct device *dev, return ret; } -#include +#include static inline int z_vrfy_espi_flash_erase(const struct device *dev, struct espi_flash_packet *pckt) @@ -209,4 +209,4 @@ static inline int z_vrfy_espi_flash_erase(const struct device *dev, return ret; } -#include +#include diff --git a/drivers/flash/flash_handlers.c b/drivers/flash/flash_handlers.c index 6d639420294025b..affdfcff7d54ba3 100644 --- a/drivers/flash/flash_handlers.c +++ b/drivers/flash/flash_handlers.c @@ -16,7 +16,7 @@ static inline int z_vrfy_flash_read(const struct device *dev, off_t offset, (void *)data, len); } -#include +#include static inline int z_vrfy_flash_write(const struct device *dev, off_t offset, const void *data, size_t len) @@ -26,7 +26,7 @@ static inline int z_vrfy_flash_write(const struct device *dev, off_t offset, return z_impl_flash_write((const struct device *)dev, offset, (const void *)data, len); } -#include +#include static inline int z_vrfy_flash_erase(const struct device *dev, off_t offset, size_t size) @@ -34,21 +34,21 @@ static inline int z_vrfy_flash_erase(const struct device *dev, off_t offset, Z_OOPS(Z_SYSCALL_DRIVER_FLASH(dev, erase)); return z_impl_flash_erase((const struct device *)dev, offset, size); } -#include +#include static inline size_t z_vrfy_flash_get_write_block_size(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_FLASH)); return z_impl_flash_get_write_block_size(dev); } -#include +#include static inline const struct flash_parameters *z_vrfy_flash_get_parameters(const struct device *dev) { Z_OOPS(Z_SYSCALL_DRIVER_FLASH(dev, get_parameters)); return z_impl_flash_get_parameters(dev); } -#include +#include #ifdef CONFIG_FLASH_PAGE_LAYOUT static inline int z_vrfy_flash_get_page_info_by_offs(const struct device *dev, @@ -61,7 +61,7 @@ static inline int z_vrfy_flash_get_page_info_by_offs(const struct device *dev, offs, (struct flash_pages_info *)info); } -#include +#include static inline int z_vrfy_flash_get_page_info_by_idx(const struct device *dev, uint32_t idx, @@ -73,14 +73,14 @@ static inline int z_vrfy_flash_get_page_info_by_idx(const struct device *dev, idx, (struct flash_pages_info *)info); } -#include +#include static inline size_t z_vrfy_flash_get_page_count(const struct device *dev) { Z_OOPS(Z_SYSCALL_DRIVER_FLASH(dev, page_layout)); return z_impl_flash_get_page_count((const struct device *)dev); } -#include +#include #endif /* CONFIG_FLASH_PAGE_LAYOUT */ @@ -94,7 +94,7 @@ static inline int z_vrfy_flash_sfdp_read(const struct device *dev, Z_OOPS(Z_SYSCALL_MEMORY_WRITE(data, len)); return z_impl_flash_sfdp_read(dev, offset, data, len); } -#include +#include static inline int z_vrfy_flash_read_jedec_id(const struct device *dev, uint8_t *id) @@ -103,7 +103,7 @@ static inline int z_vrfy_flash_read_jedec_id(const struct device *dev, Z_OOPS(Z_SYSCALL_MEMORY_WRITE(id, 3)); return z_impl_flash_read_jedec_id(dev, id); } -#include +#include #endif /* CONFIG_FLASH_JESD216_API */ @@ -122,6 +122,6 @@ static inline int z_vrfy_flash_ex_op(const struct device *dev, uint16_t code, return z_impl_flash_ex_op(dev, code, in, out); } -#include +#include #endif /* CONFIG_FLASH_EX_OP_ENABLED */ diff --git a/drivers/flash/flash_simulator.c b/drivers/flash/flash_simulator.c index 7f753b534f54de5..26e02fbf3c870c5 100644 --- a/drivers/flash/flash_simulator.c +++ b/drivers/flash/flash_simulator.c @@ -491,6 +491,6 @@ void *z_vrfy_flash_simulator_get_memory(const struct device *dev, return z_impl_flash_simulator_get_memory(dev, mock_size); } -#include +#include #endif /* CONFIG_USERSPACE */ diff --git a/drivers/flash/nrf_qspi_nor.c b/drivers/flash/nrf_qspi_nor.c index e2ce6e6a706808d..f403093ce9c96ad 100644 --- a/drivers/flash/nrf_qspi_nor.c +++ b/drivers/flash/nrf_qspi_nor.c @@ -1474,7 +1474,7 @@ void z_vrfy_nrf_qspi_nor_xip_enable(const struct device *dev, bool enable) z_impl_nrf_qspi_nor_xip_enable(dev, enable); } -#include +#include #endif /* CONFIG_USERSPACE */ static struct qspi_nor_data qspi_nor_dev_data = { diff --git a/drivers/fuel_gauge/emul_fuel_gauge_syscall_handlers.c b/drivers/fuel_gauge/emul_fuel_gauge_syscall_handlers.c index a6b8ce6ee02c6e6..569f9b22bd5aad2 100644 --- a/drivers/fuel_gauge/emul_fuel_gauge_syscall_handlers.c +++ b/drivers/fuel_gauge/emul_fuel_gauge_syscall_handlers.c @@ -14,7 +14,7 @@ static inline int z_vrfy_emul_fuel_gauge_is_battery_cutoff(const struct emul *ta return z_impl_emul_fuel_gauge_is_battery_cutoff(target, cutoff); } -#include +#include static inline int z_vrfy_emul_fuel_gauge_set_battery_charging(const struct emul *target, uint32_t uV, int uA) @@ -22,4 +22,4 @@ static inline int z_vrfy_emul_fuel_gauge_set_battery_charging(const struct emul return z_impl_emul_fuel_gauge_set_battery_charging(target, uV, uA); } -#include +#include diff --git a/drivers/fuel_gauge/fuel_gauge_syscall_handlers.c b/drivers/fuel_gauge/fuel_gauge_syscall_handlers.c index 6bcd5bd22055101..4d09679f2801cd3 100644 --- a/drivers/fuel_gauge/fuel_gauge_syscall_handlers.c +++ b/drivers/fuel_gauge/fuel_gauge_syscall_handlers.c @@ -24,7 +24,7 @@ static inline int z_vrfy_fuel_gauge_get_prop(const struct device *dev, fuel_gaug return ret; } -#include +#include static inline int z_vrfy_fuel_gauge_get_props(const struct device *dev, fuel_gauge_prop_t *props, union fuel_gauge_prop_val *vals, size_t len) @@ -44,7 +44,7 @@ static inline int z_vrfy_fuel_gauge_get_props(const struct device *dev, fuel_gau return ret; } -#include +#include static inline int z_vrfy_fuel_gauge_set_prop(const struct device *dev, fuel_gauge_prop_t prop, union fuel_gauge_prop_val val) @@ -56,7 +56,7 @@ static inline int z_vrfy_fuel_gauge_set_prop(const struct device *dev, fuel_gaug return ret; } -#include +#include static inline int z_vrfy_fuel_gauge_set_props(const struct device *dev, fuel_gauge_prop_t *props, union fuel_gauge_prop_val *vals, size_t len) @@ -77,7 +77,7 @@ static inline int z_vrfy_fuel_gauge_set_props(const struct device *dev, fuel_gau return ret; } -#include +#include static inline int z_vrfy_fuel_gauge_get_buffer_prop(const struct device *dev, fuel_gauge_prop_t prop, void *dst, @@ -92,7 +92,7 @@ static inline int z_vrfy_fuel_gauge_get_buffer_prop(const struct device *dev, return ret; } -#include +#include static inline int z_vrfy_fuel_gauge_battery_cutoff(const struct device *dev) { @@ -101,4 +101,4 @@ static inline int z_vrfy_fuel_gauge_battery_cutoff(const struct device *dev) return z_impl_fuel_gauge_battery_cutoff(dev); } -#include +#include diff --git a/drivers/gpio/gpio_handlers.c b/drivers/gpio/gpio_handlers.c index ce64fc87bda99fa..6bf4dc62fddc0de 100644 --- a/drivers/gpio/gpio_handlers.c +++ b/drivers/gpio/gpio_handlers.c @@ -16,7 +16,7 @@ static inline int z_vrfy_gpio_pin_configure(const struct device *port, pin, flags); } -#include +#include #ifdef CONFIG_GPIO_GET_CONFIG static inline int z_vrfy_gpio_pin_get_config(const struct device *port, @@ -28,7 +28,7 @@ static inline int z_vrfy_gpio_pin_get_config(const struct device *port, return z_impl_gpio_pin_get_config(port, pin, flags); } -#include +#include #endif static inline int z_vrfy_gpio_port_get_raw(const struct device *port, @@ -39,7 +39,7 @@ static inline int z_vrfy_gpio_port_get_raw(const struct device *port, return z_impl_gpio_port_get_raw((const struct device *)port, (gpio_port_value_t *)value); } -#include +#include static inline int z_vrfy_gpio_port_set_masked_raw(const struct device *port, gpio_port_pins_t mask, @@ -50,7 +50,7 @@ static inline int z_vrfy_gpio_port_set_masked_raw(const struct device *port, mask, value); } -#include +#include static inline int z_vrfy_gpio_port_set_bits_raw(const struct device *port, gpio_port_pins_t pins) @@ -59,7 +59,7 @@ static inline int z_vrfy_gpio_port_set_bits_raw(const struct device *port, return z_impl_gpio_port_set_bits_raw((const struct device *)port, pins); } -#include +#include static inline int z_vrfy_gpio_port_clear_bits_raw(const struct device *port, gpio_port_pins_t pins) @@ -68,7 +68,7 @@ static inline int z_vrfy_gpio_port_clear_bits_raw(const struct device *port, return z_impl_gpio_port_clear_bits_raw((const struct device *)port, pins); } -#include +#include static inline int z_vrfy_gpio_port_toggle_bits(const struct device *port, gpio_port_pins_t pins) @@ -76,7 +76,7 @@ static inline int z_vrfy_gpio_port_toggle_bits(const struct device *port, Z_OOPS(Z_SYSCALL_DRIVER_GPIO(port, port_toggle_bits)); return z_impl_gpio_port_toggle_bits((const struct device *)port, pins); } -#include +#include static inline int z_vrfy_gpio_pin_interrupt_configure(const struct device *port, gpio_pin_t pin, @@ -87,7 +87,7 @@ static inline int z_vrfy_gpio_pin_interrupt_configure(const struct device *port, pin, flags); } -#include +#include static inline int z_vrfy_gpio_get_pending_int(const struct device *dev) { @@ -95,7 +95,7 @@ static inline int z_vrfy_gpio_get_pending_int(const struct device *dev) return z_impl_gpio_get_pending_int((const struct device *)dev); } -#include +#include #ifdef CONFIG_GPIO_GET_DIRECTION static inline int z_vrfy_gpio_port_get_direction(const struct device *dev, gpio_port_pins_t map, @@ -114,5 +114,5 @@ static inline int z_vrfy_gpio_port_get_direction(const struct device *dev, gpio_ return z_impl_gpio_port_get_direction(dev, map, inputs, outputs); } -#include +#include #endif /* CONFIG_GPIO_GET_DIRECTION */ diff --git a/drivers/hwinfo/hwinfo_handlers.c b/drivers/hwinfo/hwinfo_handlers.c index dd411f265d04516..00465c1374b1a5f 100644 --- a/drivers/hwinfo/hwinfo_handlers.c +++ b/drivers/hwinfo/hwinfo_handlers.c @@ -13,7 +13,7 @@ ssize_t z_vrfy_hwinfo_get_device_id(uint8_t *buffer, size_t length) return z_impl_hwinfo_get_device_id((uint8_t *)buffer, (size_t)length); } -#include +#include int z_vrfy_hwinfo_get_reset_cause(uint32_t *cause) { @@ -25,14 +25,14 @@ int z_vrfy_hwinfo_get_reset_cause(uint32_t *cause) return ret; } -#include +#include int z_vrfy_hwinfo_clear_reset_cause(void) { return z_impl_hwinfo_clear_reset_cause(); } -#include +#include int z_vrfy_hwinfo_get_supported_reset_cause(uint32_t *supported) { @@ -44,4 +44,4 @@ int z_vrfy_hwinfo_get_supported_reset_cause(uint32_t *supported) return ret; } -#include +#include diff --git a/drivers/hwspinlock/hwspinlock_handlers.c b/drivers/hwspinlock/hwspinlock_handlers.c index a8e6c2a132ef69e..a38cc1847ee9e3a 100644 --- a/drivers/hwspinlock/hwspinlock_handlers.c +++ b/drivers/hwspinlock/hwspinlock_handlers.c @@ -13,7 +13,7 @@ static inline int z_vrfy_hwspinlock_trylock(const struct device *dev, uint32_t i return z_impl_hwspinlock_trylock(dev, id); } -#include +#include static inline void z_vrfy_hwspinlock_lock(const struct device *dev, uint32_t id) { @@ -21,7 +21,7 @@ static inline void z_vrfy_hwspinlock_lock(const struct device *dev, uint32_t id) z_impl_hwspinlock_lock(dev, id); } -#include +#include static inline void z_vrfy_hwspinlock_unlock(const struct device *dev, uint32_t id) { @@ -29,7 +29,7 @@ static inline void z_vrfy_hwspinlock_unlock(const struct device *dev, uint32_t i z_impl_hwspinlock_unlock(dev, id); } -#include +#include static inline uint32_t z_vrfy_hwspinlock_get_max_id(const struct device *dev) { @@ -37,4 +37,4 @@ static inline uint32_t z_vrfy_hwspinlock_get_max_id(const struct device *dev) return z_impl_hwspinlock_get_max_id(dev); } -#include +#include diff --git a/drivers/i2c/i2c_handlers.c b/drivers/i2c/i2c_handlers.c index fca385ee27b5709..7911bf659e17c4d 100644 --- a/drivers/i2c/i2c_handlers.c +++ b/drivers/i2c/i2c_handlers.c @@ -14,7 +14,7 @@ static inline int z_vrfy_i2c_configure(const struct device *dev, Z_OOPS(Z_SYSCALL_DRIVER_I2C(dev, configure)); return z_impl_i2c_configure((const struct device *)dev, dev_config); } -#include +#include static inline int z_vrfy_i2c_get_config(const struct device *dev, uint32_t *dev_config) @@ -24,7 +24,7 @@ static inline int z_vrfy_i2c_get_config(const struct device *dev, return z_impl_i2c_get_config(dev, dev_config); } -#include +#include static uint32_t copy_msgs_and_transfer(const struct device *dev, const struct i2c_msg *msgs, @@ -69,25 +69,25 @@ static inline int z_vrfy_i2c_transfer(const struct device *dev, (struct i2c_msg *)msgs, (uint8_t)num_msgs, (uint16_t)addr); } -#include +#include static inline int z_vrfy_i2c_target_driver_register(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_I2C)); return z_impl_i2c_target_driver_register(dev); } -#include +#include static inline int z_vrfy_i2c_target_driver_unregister(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_I2C)); return z_impl_i2c_target_driver_unregister(dev); } -#include +#include static inline int z_vrfy_i2c_recover_bus(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_I2C)); return z_impl_i2c_recover_bus(dev); } -#include +#include diff --git a/drivers/i2s/i2s_handlers.c b/drivers/i2s/i2s_handlers.c index e556d708616c876..c489ded898f41b2 100644 --- a/drivers/i2s/i2s_handlers.c +++ b/drivers/i2s/i2s_handlers.c @@ -41,7 +41,7 @@ static inline int z_vrfy_i2s_configure(const struct device *dev, out: return ret; } -#include +#include static inline int z_vrfy_i2s_buf_read(const struct device *dev, void *buf, size_t *size) @@ -74,7 +74,7 @@ static inline int z_vrfy_i2s_buf_read(const struct device *dev, return ret; } -#include +#include static inline int z_vrfy_i2s_buf_write(const struct device *dev, void *buf, size_t size) @@ -111,7 +111,7 @@ static inline int z_vrfy_i2s_buf_write(const struct device *dev, return ret; } -#include +#include static inline int z_vrfy_i2s_trigger(const struct device *dev, enum i2s_dir dir, @@ -121,4 +121,4 @@ static inline int z_vrfy_i2s_trigger(const struct device *dev, return z_impl_i2s_trigger((const struct device *)dev, dir, cmd); } -#include +#include diff --git a/drivers/i3c/i3c_handlers.c b/drivers/i3c/i3c_handlers.c index e5a5289868db144..d060d07f37f1d3e 100644 --- a/drivers/i3c/i3c_handlers.c +++ b/drivers/i3c/i3c_handlers.c @@ -35,7 +35,7 @@ static inline int z_vrfy_i3c_do_ccc(const struct device *dev, return z_impl_i3c_do_ccc(dev, payload); } -#include +#include static uint32_t copy_i3c_msgs_and_transfer(struct i3c_device_desc *target, const struct i3c_msg *msgs, @@ -79,4 +79,4 @@ static inline int z_vrfy_i3c_transfer(struct i3c_device_desc *target, (struct i3c_msg *)msgs, (uint8_t)num_msgs); } -#include +#include diff --git a/drivers/ipm/ipm_handlers.c b/drivers/ipm/ipm_handlers.c index 647f87c543f80f8..867327f8f4c958e 100644 --- a/drivers/ipm/ipm_handlers.c +++ b/drivers/ipm/ipm_handlers.c @@ -16,25 +16,25 @@ static inline int z_vrfy_ipm_send(const struct device *dev, int wait, return z_impl_ipm_send((const struct device *)dev, wait, id, (const void *)data, size); } -#include +#include static inline int z_vrfy_ipm_max_data_size_get(const struct device *dev) { Z_OOPS(Z_SYSCALL_DRIVER_IPM(dev, max_data_size_get)); return z_impl_ipm_max_data_size_get((const struct device *)dev); } -#include +#include static inline uint32_t z_vrfy_ipm_max_id_val_get(const struct device *dev) { Z_OOPS(Z_SYSCALL_DRIVER_IPM(dev, max_id_val_get)); return z_impl_ipm_max_id_val_get((const struct device *)dev); } -#include +#include static inline int z_vrfy_ipm_set_enabled(const struct device *dev, int enable) { Z_OOPS(Z_SYSCALL_DRIVER_IPM(dev, set_enabled)); return z_impl_ipm_set_enabled((const struct device *)dev, enable); } -#include +#include diff --git a/drivers/kscan/kscan_handlers.c b/drivers/kscan/kscan_handlers.c index b2d36ba39431d76..21026cd8f854a61 100644 --- a/drivers/kscan/kscan_handlers.c +++ b/drivers/kscan/kscan_handlers.c @@ -15,7 +15,7 @@ static inline int z_vrfy_kscan_config(const struct device *dev, "callback cannot be set from user mode")); return z_impl_kscan_config((const struct device *)dev, callback_isr); } -#include +#include static inline int z_vrfy_kscan_disable_callback(const struct device *dev) { @@ -23,7 +23,7 @@ static inline int z_vrfy_kscan_disable_callback(const struct device *dev) return z_impl_kscan_disable_callback((const struct device *)dev); } -#include +#include static int z_vrfy_kscan_enable_callback(const struct device *dev) { @@ -31,4 +31,4 @@ static int z_vrfy_kscan_enable_callback(const struct device *dev) return z_impl_kscan_enable_callback((const struct device *)dev); } -#include +#include diff --git a/drivers/led/led_handlers.c b/drivers/led/led_handlers.c index a3a37fb49e1878f..7e7ec3d6887f2d4 100644 --- a/drivers/led/led_handlers.c +++ b/drivers/led/led_handlers.c @@ -14,7 +14,7 @@ static inline int z_vrfy_led_blink(const struct device *dev, uint32_t led, return z_impl_led_blink((const struct device *)dev, led, delay_on, delay_off); } -#include +#include static inline int z_vrfy_led_get_info(const struct device *dev, uint32_t led, const struct led_info **info) @@ -23,7 +23,7 @@ static inline int z_vrfy_led_get_info(const struct device *dev, uint32_t led, Z_OOPS(Z_SYSCALL_MEMORY_WRITE(info, sizeof(*info))); return z_impl_led_get_info(dev, led, info); } -#include +#include static inline int z_vrfy_led_set_brightness(const struct device *dev, uint32_t led, @@ -33,7 +33,7 @@ static inline int z_vrfy_led_set_brightness(const struct device *dev, return z_impl_led_set_brightness((const struct device *)dev, led, value); } -#include +#include static inline int z_vrfy_led_write_channels(const struct device *dev, uint32_t start_channel, @@ -43,7 +43,7 @@ z_vrfy_led_write_channels(const struct device *dev, uint32_t start_channel, Z_OOPS(Z_SYSCALL_MEMORY_READ(buf, num_channels)); return z_impl_led_write_channels(dev, start_channel, num_channels, buf); } -#include +#include static inline int z_vrfy_led_set_channel(const struct device *dev, uint32_t channel, uint8_t value) @@ -51,7 +51,7 @@ static inline int z_vrfy_led_set_channel(const struct device *dev, Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_LED)); return z_impl_led_set_channel(dev, channel, value); } -#include +#include static inline int z_vrfy_led_set_color(const struct device *dev, uint32_t led, uint8_t num_colors, const uint8_t *color) @@ -60,18 +60,18 @@ static inline int z_vrfy_led_set_color(const struct device *dev, uint32_t led, Z_OOPS(Z_SYSCALL_MEMORY_READ(color, num_colors)); return z_impl_led_set_color(dev, led, num_colors, color); } -#include +#include static inline int z_vrfy_led_on(const struct device *dev, uint32_t led) { Z_OOPS(Z_SYSCALL_DRIVER_LED(dev, on)); return z_impl_led_on((const struct device *)dev, led); } -#include +#include static inline int z_vrfy_led_off(const struct device *dev, uint32_t led) { Z_OOPS(Z_SYSCALL_DRIVER_LED(dev, off)); return z_impl_led_off((const struct device *)dev, led); } -#include +#include diff --git a/drivers/mbox/mbox_handlers.c b/drivers/mbox/mbox_handlers.c index 55b2b010c83b404..a178514da995321 100644 --- a/drivers/mbox/mbox_handlers.c +++ b/drivers/mbox/mbox_handlers.c @@ -17,7 +17,7 @@ static inline int z_vrfy_mbox_send(const struct mbox_channel *channel, return z_impl_mbox_send(channel, msg); } -#include +#include static inline int z_vrfy_mbox_mtu_get(const struct device *dev) { @@ -25,7 +25,7 @@ static inline int z_vrfy_mbox_mtu_get(const struct device *dev) return z_impl_mbox_mtu_get(dev); } -#include +#include static inline uint32_t z_vrfy_mbox_max_channels_get(const struct device *dev) { @@ -33,7 +33,7 @@ static inline uint32_t z_vrfy_mbox_max_channels_get(const struct device *dev) return z_impl_mbox_max_channels_get(dev); } -#include +#include static inline int z_vrfy_mbox_set_enabled(const struct mbox_channel *channel, bool enable) { @@ -42,4 +42,4 @@ static inline int z_vrfy_mbox_set_enabled(const struct mbox_channel *channel, bo return z_impl_mbox_set_enabled(channel, enable); } -#include +#include diff --git a/drivers/misc/timeaware_gpio/timeaware_gpio_handlers.c b/drivers/misc/timeaware_gpio/timeaware_gpio_handlers.c index e65dcb2a62c4d8c..8ff072f7dbc8df4 100644 --- a/drivers/misc/timeaware_gpio/timeaware_gpio_handlers.c +++ b/drivers/misc/timeaware_gpio/timeaware_gpio_handlers.c @@ -12,7 +12,7 @@ static inline int z_vrfy_tgpio_port_get_time(const struct device *port, uint64_t Z_OOPS(Z_SYSCALL_MEMORY_WRITE(current_time, sizeof(uint64_t))); return z_impl_tgpio_port_get_time((const struct device *)port, (uint64_t *)current_time); } -#include +#include static inline int z_vrfy_tgpio_port_get_cycles_per_second(const struct device *port, uint32_t *cycles) @@ -22,7 +22,7 @@ static inline int z_vrfy_tgpio_port_get_cycles_per_second(const struct device *p return z_impl_tgpio_port_get_cycles_per_second((const struct device *)port, (uint32_t *)cycles); } -#include +#include static inline int z_vrfy_tgpio_pin_periodic_output(const struct device *port, uint32_t pin, uint64_t start_time, uint64_t repeat_interval, @@ -32,14 +32,14 @@ static inline int z_vrfy_tgpio_pin_periodic_output(const struct device *port, ui return z_impl_tgpio_pin_periodic_output((const struct device *)port, pin, start_time, repeat_interval, periodic_enable); } -#include +#include static inline int z_vrfy_tgpio_pin_disable(const struct device *port, uint32_t pin) { Z_OOPS(Z_SYSCALL_DRIVER_TGPIO(port, pin_disable)); return z_impl_tgpio_pin_disable((const struct device *)port, pin); } -#include +#include static inline int z_vrfy_tgpio_pin_config_ext_timestamp(const struct device *port, uint32_t pin, uint32_t event_polarity) @@ -48,7 +48,7 @@ static inline int z_vrfy_tgpio_pin_config_ext_timestamp(const struct device *por return z_impl_tgpio_pin_config_ext_timestamp((const struct device *)port, pin, event_polarity); } -#include +#include static inline int z_vrfy_tgpio_pin_read_ts_ec(const struct device *port, uint32_t pin, uint64_t *timestamp, uint64_t *event_count) @@ -57,4 +57,4 @@ static inline int z_vrfy_tgpio_pin_read_ts_ec(const struct device *port, uint32_ return z_impl_tgpio_pin_read_ts_ec((const struct device *)port, pin, (uint64_t *)timestamp, (uint64_t *)event_count); } -#include +#include diff --git a/drivers/peci/peci_handlers.c b/drivers/peci/peci_handlers.c index 39147019d1c185d..67c8657f2a6368d 100644 --- a/drivers/peci/peci_handlers.c +++ b/drivers/peci/peci_handlers.c @@ -15,7 +15,7 @@ static inline int z_vrfy_peci_config(const struct device *dev, return z_impl_peci_config(dev, bitrate); } -#include +#include static inline int z_vrfy_peci_enable(const struct device *dev) { @@ -23,7 +23,7 @@ static inline int z_vrfy_peci_enable(const struct device *dev) return z_impl_peci_enable(dev); } -#include +#include static inline int z_vrfy_peci_disable(const struct device *dev) { @@ -31,7 +31,7 @@ static inline int z_vrfy_peci_disable(const struct device *dev) return z_impl_peci_disable(dev); } -#include +#include static inline int z_vrfy_peci_transfer(const struct device *dev, struct peci_msg *msg) @@ -43,4 +43,4 @@ static inline int z_vrfy_peci_transfer(const struct device *dev, return z_impl_peci_transfer(dev, &msg_copy); } -#include +#include diff --git a/drivers/ps2/ps2_handlers.c b/drivers/ps2/ps2_handlers.c index 71d1181a2d29558..ef6c21f7ce150cd 100644 --- a/drivers/ps2/ps2_handlers.c +++ b/drivers/ps2/ps2_handlers.c @@ -15,14 +15,14 @@ static inline int z_vrfy_ps2_config(const struct device *dev, "callback not be set from user mode")); return z_impl_ps2_config(dev, callback_isr); } -#include +#include static inline int z_vrfy_ps2_write(const struct device *dev, uint8_t value) { Z_OOPS(Z_SYSCALL_DRIVER_PS2(dev, write)); return z_impl_ps2_write(dev, value); } -#include +#include static inline int z_vrfy_ps2_read(const struct device *dev, uint8_t *value) { @@ -30,18 +30,18 @@ static inline int z_vrfy_ps2_read(const struct device *dev, uint8_t *value) Z_OOPS(Z_SYSCALL_MEMORY_WRITE(value, sizeof(uint8_t))); return z_impl_ps2_read(dev, value); } -#include +#include static inline int z_vrfy_ps2_enable_callback(const struct device *dev) { Z_OOPS(Z_SYSCALL_DRIVER_PS2(dev, enable_callback)); return z_impl_ps2_enable_callback(dev); } -#include +#include static inline int z_vrfy_ps2_disable_callback(const struct device *dev) { Z_OOPS(Z_SYSCALL_DRIVER_PS2(dev, disable_callback)); return z_impl_ps2_disable_callback(dev); } -#include +#include diff --git a/drivers/ptp_clock/ptp_clock.c b/drivers/ptp_clock/ptp_clock.c index ba0d7e373e94b5e..97ba0888e215ad4 100644 --- a/drivers/ptp_clock/ptp_clock.c +++ b/drivers/ptp_clock/ptp_clock.c @@ -28,5 +28,5 @@ int z_vrfy_ptp_clock_get(const struct device *dev, return ret; } -#include +#include #endif /* CONFIG_USERSPACE */ diff --git a/drivers/pwm/pwm_handlers.c b/drivers/pwm/pwm_handlers.c index 9993b24cf7334ff..56bca7abc9c1f05 100644 --- a/drivers/pwm/pwm_handlers.c +++ b/drivers/pwm/pwm_handlers.c @@ -16,7 +16,7 @@ static inline int z_vrfy_pwm_set_cycles(const struct device *dev, return z_impl_pwm_set_cycles((const struct device *)dev, channel, period, pulse, flags); } -#include +#include static inline int z_vrfy_pwm_get_cycles_per_sec(const struct device *dev, uint32_t channel, @@ -27,7 +27,7 @@ static inline int z_vrfy_pwm_get_cycles_per_sec(const struct device *dev, return z_impl_pwm_get_cycles_per_sec((const struct device *)dev, channel, (uint64_t *)cycles); } -#include +#include #ifdef CONFIG_PWM_CAPTURE @@ -37,7 +37,7 @@ static inline int z_vrfy_pwm_enable_capture(const struct device *dev, Z_OOPS(Z_SYSCALL_DRIVER_PWM(dev, enable_capture)); return z_impl_pwm_enable_capture((const struct device *)dev, channel); } -#include +#include static inline int z_vrfy_pwm_disable_capture(const struct device *dev, uint32_t channel) @@ -45,7 +45,7 @@ static inline int z_vrfy_pwm_disable_capture(const struct device *dev, Z_OOPS(Z_SYSCALL_DRIVER_PWM(dev, disable_capture)); return z_impl_pwm_disable_capture((const struct device *)dev, channel); } -#include +#include static inline int z_vrfy_pwm_capture_cycles(const struct device *dev, uint32_t channel, pwm_flags_t flags, @@ -75,6 +75,6 @@ static inline int z_vrfy_pwm_capture_cycles(const struct device *dev, return err; } -#include +#include #endif /* CONFIG_PWM_CAPTURE */ diff --git a/drivers/retained_mem/retained_mem_handlers.c b/drivers/retained_mem/retained_mem_handlers.c index 265ae7b15fd9b52..3ca24703b4f8ade 100644 --- a/drivers/retained_mem/retained_mem_handlers.c +++ b/drivers/retained_mem/retained_mem_handlers.c @@ -12,7 +12,7 @@ static inline ssize_t z_vrfy_retained_mem_size(const struct device *dev) Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_RETAINED_MEM)); return z_impl_retained_mem_size(dev); } -#include +#include static inline int z_vrfy_retained_mem_read(const struct device *dev, off_t offset, uint8_t *buffer, size_t size) @@ -21,7 +21,7 @@ static inline int z_vrfy_retained_mem_read(const struct device *dev, off_t offse Z_OOPS(Z_SYSCALL_MEMORY_WRITE(buffer, size)); return z_impl_retained_mem_read(dev, offset, buffer, size); } -#include +#include static inline int z_vrfy_retained_mem_write(const struct device *dev, off_t offset, const uint8_t *buffer, size_t size) @@ -30,11 +30,11 @@ static inline int z_vrfy_retained_mem_write(const struct device *dev, off_t offs Z_OOPS(Z_SYSCALL_MEMORY_READ(buffer, size)); return z_impl_retained_mem_write(dev, offset, buffer, size); } -#include +#include static inline int z_vrfy_retained_mem_clear(const struct device *dev) { Z_OOPS(Z_SYSCALL_OBJ(dev, K_OBJ_DRIVER_RETAINED_MEM)); return z_impl_retained_mem_clear(dev); } -#include +#include diff --git a/drivers/rtc/rtc_handlers.c b/drivers/rtc/rtc_handlers.c index a0e9cb34a8cd38a..df75e2f7c9db02e 100644 --- a/drivers/rtc/rtc_handlers.c +++ b/drivers/rtc/rtc_handlers.c @@ -13,7 +13,7 @@ static inline int z_vrfy_rtc_set_time(const struct device *dev, const struct rtc Z_OOPS(Z_SYSCALL_MEMORY_READ(timeptr, sizeof(struct rtc_time))); return z_impl_rtc_set_time(dev, timeptr); } -#include +#include static inline int z_vrfy_rtc_get_time(const struct device *dev, struct rtc_time *timeptr) { @@ -21,7 +21,7 @@ static inline int z_vrfy_rtc_get_time(const struct device *dev, struct rtc_time Z_OOPS(Z_SYSCALL_MEMORY_WRITE(timeptr, sizeof(struct rtc_time))); return z_impl_rtc_get_time(dev, timeptr); } -#include +#include #ifdef CONFIG_RTC_ALARM static inline int z_vrfy_rtc_alarm_get_supported_fields(const struct device *dev, uint16_t id, @@ -31,7 +31,7 @@ static inline int z_vrfy_rtc_alarm_get_supported_fields(const struct device *dev Z_OOPS(Z_SYSCALL_MEMORY_WRITE(mask, sizeof(uint16_t))); return z_impl_rtc_alarm_get_supported_fields(dev, id, mask); } -#include +#include static inline int z_vrfy_rtc_alarm_set_time(const struct device *dev, uint16_t id, uint16_t mask, const struct rtc_time *timeptr) @@ -40,7 +40,7 @@ static inline int z_vrfy_rtc_alarm_set_time(const struct device *dev, uint16_t i Z_OOPS(Z_SYSCALL_MEMORY_READ(timeptr, sizeof(struct rtc_time))); return z_impl_rtc_alarm_set_time(dev, id, mask, timeptr); } -#include +#include static inline int z_vrfy_rtc_alarm_get_time(const struct device *dev, uint16_t id, uint16_t *mask, struct rtc_time *timeptr) @@ -50,14 +50,14 @@ static inline int z_vrfy_rtc_alarm_get_time(const struct device *dev, uint16_t i Z_OOPS(Z_SYSCALL_MEMORY_WRITE(timeptr, sizeof(struct rtc_time))); return z_impl_rtc_alarm_get_time(dev, id, mask, timeptr); } -#include +#include static inline int z_vrfy_rtc_alarm_is_pending(const struct device *dev, uint16_t id) { Z_OOPS(Z_SYSCALL_DRIVER_RTC(dev, alarm_is_pending)); return z_impl_rtc_alarm_is_pending(dev, id); } -#include +#include #endif /* CONFIG_RTC_ALARM */ #ifdef CONFIG_RTC_CALIBRATION @@ -67,7 +67,7 @@ static inline int z_vrfy_rtc_set_calibration(const struct device *dev, int32_t c return z_impl_rtc_set_calibration(dev, calibration); } -#include +#include static inline int z_vrfy_rtc_get_calibration(const struct device *dev, int32_t *calibration) { @@ -75,5 +75,5 @@ static inline int z_vrfy_rtc_get_calibration(const struct device *dev, int32_t * Z_OOPS(Z_SYSCALL_MEMORY_WRITE(calibration, sizeof(int32_t))); return z_impl_rtc_get_calibration(dev, calibration); } -#include +#include #endif /* CONFIG_RTC_CALIBRATION */ diff --git a/drivers/sensor/sensor_handlers.c b/drivers/sensor/sensor_handlers.c index cc1bc84f03bcd22..fc63bf5894c0fc5 100644 --- a/drivers/sensor/sensor_handlers.c +++ b/drivers/sensor/sensor_handlers.c @@ -17,7 +17,7 @@ static inline int z_vrfy_sensor_attr_set(const struct device *dev, return z_impl_sensor_attr_set((const struct device *)dev, chan, attr, (const struct sensor_value *)val); } -#include +#include static inline int z_vrfy_sensor_attr_get(const struct device *dev, enum sensor_channel chan, @@ -29,14 +29,14 @@ static inline int z_vrfy_sensor_attr_get(const struct device *dev, return z_impl_sensor_attr_get((const struct device *)dev, chan, attr, (struct sensor_value *)val); } -#include +#include static inline int z_vrfy_sensor_sample_fetch(const struct device *dev) { Z_OOPS(Z_SYSCALL_DRIVER_SENSOR(dev, sample_fetch)); return z_impl_sensor_sample_fetch((const struct device *)dev); } -#include +#include static inline int z_vrfy_sensor_sample_fetch_chan(const struct device *dev, enum sensor_channel type) @@ -45,7 +45,7 @@ static inline int z_vrfy_sensor_sample_fetch_chan(const struct device *dev, return z_impl_sensor_sample_fetch_chan((const struct device *)dev, type); } -#include +#include static inline int z_vrfy_sensor_channel_get(const struct device *dev, enum sensor_channel chan, @@ -56,7 +56,7 @@ static inline int z_vrfy_sensor_channel_get(const struct device *dev, return z_impl_sensor_channel_get((const struct device *)dev, chan, (struct sensor_value *)val); } -#include +#include #ifdef CONFIG_SENSOR_ASYNC_API static inline int z_vrfy_sensor_get_decoder(const struct device *dev, @@ -66,7 +66,7 @@ static inline int z_vrfy_sensor_get_decoder(const struct device *dev, Z_OOPS(Z_SYSCALL_MEMORY_READ(decoder, sizeof(struct sensor_decoder_api))); return z_impl_sensor_get_decoder(dev, decoder); } -#include +#include static inline int z_vrfy_sensor_reconfigure_read_iodev(struct rtio_iodev *iodev, const struct device *sensor, @@ -78,5 +78,5 @@ static inline int z_vrfy_sensor_reconfigure_read_iodev(struct rtio_iodev *iodev, Z_OOPS(Z_SYSCALL_MEMORY_READ(channels, sizeof(enum sensor_channel) * num_channels)); return z_impl_sensor_reconfigure_read_iodev(iodev, sensor, channels, num_channels); } -#include +#include #endif diff --git a/drivers/serial/uart_handlers.c b/drivers/serial/uart_handlers.c index 1dd4dd78f10460f..e3afe9453347215 100644 --- a/drivers/serial/uart_handlers.c +++ b/drivers/serial/uart_handlers.c @@ -22,7 +22,7 @@ } UART_SIMPLE(err_check) -#include +#include static inline int z_vrfy_uart_poll_in(const struct device *dev, unsigned char *p_char) @@ -31,7 +31,7 @@ static inline int z_vrfy_uart_poll_in(const struct device *dev, Z_OOPS(Z_SYSCALL_MEMORY_WRITE(p_char, sizeof(unsigned char))); return z_impl_uart_poll_in(dev, p_char); } -#include +#include static inline int z_vrfy_uart_poll_in_u16(const struct device *dev, uint16_t *p_u16) @@ -40,7 +40,7 @@ static inline int z_vrfy_uart_poll_in_u16(const struct device *dev, Z_OOPS(Z_SYSCALL_MEMORY_WRITE(p_u16, sizeof(uint16_t))); return z_impl_uart_poll_in_u16(dev, p_u16); } -#include +#include static inline void z_vrfy_uart_poll_out(const struct device *dev, unsigned char out_char) @@ -48,7 +48,7 @@ static inline void z_vrfy_uart_poll_out(const struct device *dev, Z_OOPS(Z_SYSCALL_DRIVER_UART(dev, poll_out)); z_impl_uart_poll_out((const struct device *)dev, out_char); } -#include +#include static inline void z_vrfy_uart_poll_out_u16(const struct device *dev, uint16_t out_u16) @@ -56,7 +56,7 @@ static inline void z_vrfy_uart_poll_out_u16(const struct device *dev, Z_OOPS(Z_SYSCALL_DRIVER_UART(dev, poll_out)); z_impl_uart_poll_out_u16((const struct device *)dev, out_u16); } -#include +#include #ifdef CONFIG_UART_USE_RUNTIME_CONFIGURE static inline int z_vrfy_uart_config_get(const struct device *dev, @@ -67,7 +67,7 @@ static inline int z_vrfy_uart_config_get(const struct device *dev, return z_impl_uart_config_get(dev, cfg); } -#include +#include static inline int z_vrfy_uart_configure(const struct device *dev, const struct uart_config *cfg) @@ -77,7 +77,7 @@ static inline int z_vrfy_uart_configure(const struct device *dev, return z_impl_uart_configure(dev, cfg); } -#include +#include #endif #ifdef CONFIG_UART_ASYNC_API @@ -94,7 +94,7 @@ static inline int z_vrfy_uart_tx(const struct device *dev, const uint8_t *buf, Z_OOPS(Z_SYSCALL_MEMORY_READ(buf, len)); return z_impl_uart_tx(dev, buf, len, timeout); } -#include +#include #ifdef CONFIG_UART_WIDE_DATA static inline int z_vrfy_uart_tx_u16(const struct device *dev, @@ -105,11 +105,11 @@ static inline int z_vrfy_uart_tx_u16(const struct device *dev, Z_OOPS(Z_SYSCALL_MEMORY_ARRAY_READ(buf, len, sizeof(uint16_t))); return z_impl_uart_tx_u16(dev, buf, len, timeout); } -#include +#include #endif UART_SIMPLE(tx_abort); -#include +#include static inline int z_vrfy_uart_rx_enable(const struct device *dev, uint8_t *buf, @@ -119,7 +119,7 @@ static inline int z_vrfy_uart_rx_enable(const struct device *dev, Z_OOPS(Z_SYSCALL_MEMORY_WRITE(buf, len)); return z_impl_uart_rx_enable(dev, buf, len, timeout); } -#include +#include #ifdef CONFIG_UART_WIDE_DATA static inline int z_vrfy_uart_rx_enable_u16(const struct device *dev, @@ -130,11 +130,11 @@ static inline int z_vrfy_uart_rx_enable_u16(const struct device *dev, Z_OOPS(Z_SYSCALL_MEMORY_ARRAY_WRITE(buf, len, sizeof(uint16_t))); return z_impl_uart_rx_enable_u16(dev, buf, len, timeout); } -#include +#include #endif UART_SIMPLE(rx_disable); -#include +#include #endif /* CONFIG_UART_ASYNC_API */ #ifdef CONFIG_UART_INTERRUPT_DRIVEN @@ -146,14 +146,14 @@ UART_SIMPLE_VOID(irq_err_enable) UART_SIMPLE_VOID(irq_err_disable) UART_SIMPLE(irq_is_pending) UART_SIMPLE(irq_update) -#include -#include -#include -#include -#include -#include -#include -#include +#include +#include +#include +#include +#include +#include +#include +#include #endif /* CONFIG_UART_INTERRUPT_DRIVEN */ #ifdef CONFIG_UART_LINE_CTRL @@ -164,7 +164,7 @@ static inline int z_vrfy_uart_line_ctrl_set(const struct device *dev, return z_impl_uart_line_ctrl_set((const struct device *)dev, ctrl, val); } -#include +#include static inline int z_vrfy_uart_line_ctrl_get(const struct device *dev, uint32_t ctrl, uint32_t *val) @@ -174,7 +174,7 @@ static inline int z_vrfy_uart_line_ctrl_get(const struct device *dev, return z_impl_uart_line_ctrl_get((const struct device *)dev, ctrl, (uint32_t *)val); } -#include +#include #endif /* CONFIG_UART_LINE_CTRL */ #ifdef CONFIG_UART_DRV_CMD @@ -184,5 +184,5 @@ static inline int z_vrfy_uart_drv_cmd(const struct device *dev, uint32_t cmd, Z_OOPS(Z_SYSCALL_DRIVER_UART(dev, drv_cmd)); return z_impl_uart_drv_cmd((const struct device *)dev, cmd, p); } -#include +#include #endif /* CONFIG_UART_DRV_CMD */ diff --git a/drivers/smbus/smbus_handlers.c b/drivers/smbus/smbus_handlers.c index 0c97978883080fc..6a36e647401c09a 100644 --- a/drivers/smbus/smbus_handlers.c +++ b/drivers/smbus/smbus_handlers.c @@ -15,7 +15,7 @@ static inline int z_vrfy_smbus_configure(const struct device *dev, return z_impl_smbus_configure(dev, dev_config); } -#include +#include static inline int z_vrfy_smbus_get_config(const struct device *dev, uint32_t *dev_config) @@ -25,7 +25,7 @@ static inline int z_vrfy_smbus_get_config(const struct device *dev, return z_impl_smbus_get_config(dev, dev_config); } -#include +#include static inline int z_vrfy_smbus_quick(const struct device *dev, uint16_t addr, enum smbus_direction rw) @@ -34,7 +34,7 @@ static inline int z_vrfy_smbus_quick(const struct device *dev, uint16_t addr, return z_impl_smbus_quick(dev, addr, rw); } -#include +#include static inline int z_vrfy_smbus_byte_write(const struct device *dev, uint16_t addr, uint8_t byte) @@ -43,7 +43,7 @@ static inline int z_vrfy_smbus_byte_write(const struct device *dev, return z_impl_smbus_byte_write(dev, addr, byte); } -#include +#include static inline int z_vrfy_smbus_byte_read(const struct device *dev, uint16_t addr, uint8_t *byte) @@ -53,7 +53,7 @@ static inline int z_vrfy_smbus_byte_read(const struct device *dev, return z_impl_smbus_byte_read(dev, addr, byte); } -#include +#include static inline int z_vrfy_smbus_byte_data_write(const struct device *dev, uint16_t addr, uint8_t cmd, @@ -63,7 +63,7 @@ static inline int z_vrfy_smbus_byte_data_write(const struct device *dev, return z_impl_smbus_byte_data_write(dev, addr, cmd, byte); } -#include +#include static inline int z_vrfy_smbus_byte_data_read(const struct device *dev, uint16_t addr, uint8_t cmd, @@ -74,7 +74,7 @@ static inline int z_vrfy_smbus_byte_data_read(const struct device *dev, return z_impl_smbus_byte_data_read(dev, addr, cmd, byte); } -#include +#include static inline int z_vrfy_smbus_word_data_write(const struct device *dev, uint16_t addr, uint8_t cmd, @@ -84,7 +84,7 @@ static inline int z_vrfy_smbus_word_data_write(const struct device *dev, return z_impl_smbus_word_data_write(dev, addr, cmd, word); } -#include +#include static inline int z_vrfy_smbus_word_data_read(const struct device *dev, uint16_t addr, uint8_t cmd, @@ -95,7 +95,7 @@ static inline int z_vrfy_smbus_word_data_read(const struct device *dev, return z_impl_smbus_word_data_read(dev, addr, cmd, word); } -#include +#include static inline int z_vrfy_smbus_pcall(const struct device *dev, uint16_t addr, uint8_t cmd, @@ -106,7 +106,7 @@ static inline int z_vrfy_smbus_pcall(const struct device *dev, return z_impl_smbus_pcall(dev, addr, cmd, send_word, recv_word); } -#include +#include static inline int z_vrfy_smbus_block_write(const struct device *dev, uint16_t addr, uint8_t cmd, @@ -117,7 +117,7 @@ static inline int z_vrfy_smbus_block_write(const struct device *dev, return z_impl_smbus_block_write(dev, addr, cmd, count, buf); } -#include +#include static inline int z_vrfy_smbus_block_read(const struct device *dev, uint16_t addr, uint8_t cmd, @@ -128,7 +128,7 @@ static inline int z_vrfy_smbus_block_read(const struct device *dev, return z_impl_smbus_block_read(dev, addr, cmd, count, buf); } -#include +#include static inline int z_vrfy_smbus_block_pcall(const struct device *dev, uint16_t addr, uint8_t cmd, @@ -142,7 +142,7 @@ static inline int z_vrfy_smbus_block_pcall(const struct device *dev, return z_impl_smbus_block_pcall(dev, addr, cmd, snd_count, snd_buf, rcv_count, rcv_buf); } -#include +#include static inline int z_vrfy_smbus_smbalert_set_cb(const struct device *dev, struct smbus_callback *cb) @@ -151,7 +151,7 @@ static inline int z_vrfy_smbus_smbalert_set_cb(const struct device *dev, return z_impl_smbus_smbalert_set_cb(dev, cb); } -#include +#include static inline int z_vrfy_smbus_smbalert_remove_cb(const struct device *dev, struct smbus_callback *cb) @@ -160,7 +160,7 @@ static inline int z_vrfy_smbus_smbalert_remove_cb(const struct device *dev, return z_impl_smbus_smbalert_remove_cb(dev, cb); } -#include +#include static inline int z_vrfy_smbus_host_notify_set_cb(const struct device *dev, struct smbus_callback *cb) @@ -169,7 +169,7 @@ static inline int z_vrfy_smbus_host_notify_set_cb(const struct device *dev, return z_impl_smbus_host_notify_set_cb(dev, cb); } -#include +#include static inline int z_vrfy_smbus_host_notify_remove_cb(const struct device *dev, struct smbus_callback *cb) @@ -178,4 +178,4 @@ static inline int z_vrfy_smbus_host_notify_remove_cb(const struct device *dev, return z_impl_smbus_host_notify_remove_cb(dev, cb); } -#include +#include diff --git a/drivers/spi/spi_handlers.c b/drivers/spi/spi_handlers.c index 7793d6b8a3a9eab..6a8942366baac25 100644 --- a/drivers/spi/spi_handlers.c +++ b/drivers/spi/spi_handlers.c @@ -114,7 +114,7 @@ static inline int z_vrfy_spi_transceive(const struct device *dev, &tx_bufs_copy, &rx_bufs_copy); } -#include +#include static inline int z_vrfy_spi_release(const struct device *dev, const struct spi_config *config) @@ -123,4 +123,4 @@ static inline int z_vrfy_spi_release(const struct device *dev, Z_OOPS(Z_SYSCALL_DRIVER_SPI(dev, release)); return z_impl_spi_release((const struct device *)dev, config); } -#include +#include diff --git a/drivers/virtualization/virt_ivshmem_handlers.c b/drivers/virtualization/virt_ivshmem_handlers.c index bd49b8949eb6f85..417cd4babf4117f 100644 --- a/drivers/virtualization/virt_ivshmem_handlers.c +++ b/drivers/virtualization/virt_ivshmem_handlers.c @@ -16,7 +16,7 @@ static inline size_t z_vrfy_ivshmem_get_mem(const struct device *dev, return z_impl_ivshmem_get_mem(dev, memmap); } -#include +#include static inline uint32_t z_vrfy_ivshmem_get_id(const struct device *dev) { @@ -24,7 +24,7 @@ static inline uint32_t z_vrfy_ivshmem_get_id(const struct device *dev) return z_impl_ivshmem_get_id(dev); } -#include +#include static inline uint16_t z_vrfy_ivshmem_get_vectors(const struct device *dev) { @@ -32,7 +32,7 @@ static inline uint16_t z_vrfy_ivshmem_get_vectors(const struct device *dev) return z_impl_ivshmem_get_vectors(dev); } -#include +#include static inline int z_vrfy_ivshmem_int_peer(const struct device *dev, uint32_t peer_id, uint16_t vector) @@ -41,7 +41,7 @@ static inline int z_vrfy_ivshmem_int_peer(const struct device *dev, return z_impl_ivshmem_int_peer(dev, peer_id, vector); } -#include +#include static inline int z_vrfy_ivshmem_register_handler(const struct device *dev, struct k_poll_signal *signal, @@ -52,7 +52,7 @@ static inline int z_vrfy_ivshmem_register_handler(const struct device *dev, return z_impl_ivshmem_register_handler(dev, signal, vector); } -#include +#include #ifdef CONFIG_IVSHMEM_V2 @@ -64,7 +64,7 @@ static inline size_t z_vrfy_ivshmem_get_rw_mem_section(const struct device *dev, return z_impl_ivshmem_get_rw_mem_section(dev, memmap); } -#include +#include static inline size_t z_vrfy_ivshmem_get_output_mem_section(const struct device *dev, uint32_t peer_id, @@ -75,7 +75,7 @@ static inline size_t z_vrfy_ivshmem_get_output_mem_section(const struct device * return z_impl_ivshmem_get_output_mem_section(dev, peer_id, memmap); } -#include +#include static inline uint32_t z_vrfy_ivshmem_get_state(const struct device *dev, uint32_t peer_id) @@ -84,7 +84,7 @@ static inline uint32_t z_vrfy_ivshmem_get_state(const struct device *dev, return z_impl_ivshmem_get_state(dev, peer_id); } -#include +#include static inline int z_vrfy_ivshmem_set_state(const struct device *dev, uint32_t state) @@ -93,7 +93,7 @@ static inline int z_vrfy_ivshmem_set_state(const struct device *dev, return z_impl_ivshmem_set_state(dev, state); } -#include +#include static inline uint32_t z_vrfy_ivshmem_get_max_peers(const struct device *dev) { @@ -101,7 +101,7 @@ static inline uint32_t z_vrfy_ivshmem_get_max_peers(const struct device *dev) return z_impl_ivshmem_get_max_peers(dev); } -#include +#include static inline uint16_t z_vrfy_ivshmem_get_protocol(const struct device *dev) { @@ -109,7 +109,7 @@ static inline uint16_t z_vrfy_ivshmem_get_protocol(const struct device *dev) return z_impl_ivshmem_get_protocol(dev); } -#include +#include static inline int z_vrfy_ivshmem_enable_interrupts(const struct device *dev, bool enable) @@ -118,6 +118,6 @@ static inline int z_vrfy_ivshmem_enable_interrupts(const struct device *dev, return z_impl_ivshmem_enable_interrupts(dev, enable); } -#include +#include #endif /* CONFIG_IVSHMEM_V2 */ diff --git a/drivers/w1/w1_handlers.c b/drivers/w1/w1_handlers.c index 5eac465c38389ca..77215c1ad0daf23 100644 --- a/drivers/w1/w1_handlers.c +++ b/drivers/w1/w1_handlers.c @@ -13,7 +13,7 @@ static inline int z_vrfy_w1_reset_bus(const struct device *dev) return z_impl_w1_reset_bus((const struct device *)dev); } -#include +#include static inline int z_vrfy_w1_read_bit(const struct device *dev) { @@ -21,7 +21,7 @@ static inline int z_vrfy_w1_read_bit(const struct device *dev) return z_impl_w1_read_bit((const struct device *)dev); } -#include +#include static inline int z_vrfy_w1_write_bit(const struct device *dev, bool bit) { @@ -29,7 +29,7 @@ static inline int z_vrfy_w1_write_bit(const struct device *dev, bool bit) return z_impl_w1_write_bit((const struct device *)dev, bit); } -#include +#include static inline int z_vrfy_w1_read_byte(const struct device *dev) { @@ -37,7 +37,7 @@ static inline int z_vrfy_w1_read_byte(const struct device *dev) return z_impl_w1_read_byte((const struct device *)dev); } -#include +#include static inline int z_vrfy_w1_write_byte(const struct device *dev, uint8_t byte) { @@ -45,7 +45,7 @@ static inline int z_vrfy_w1_write_byte(const struct device *dev, uint8_t byte) return z_impl_w1_write_byte((const struct device *)dev, (uint8_t)byte); } -#include +#include static inline int z_vrfy_w1_read_block(const struct device *dev, uint8_t *buffer, size_t len) @@ -56,7 +56,7 @@ static inline int z_vrfy_w1_read_block(const struct device *dev, return z_impl_w1_read_block((const struct device *)dev, (uint8_t *)buffer, (size_t)len); } -#include +#include static inline int z_vrfy_w1_write_block(const struct device *dev, const uint8_t *buffer, size_t len) @@ -67,7 +67,7 @@ static inline int z_vrfy_w1_write_block(const struct device *dev, return z_impl_w1_write_block((const struct device *)dev, (const uint8_t *)buffer, (size_t)len); } -#include +#include static inline int z_vrfy_w1_change_bus_lock(const struct device *dev, bool lock) { @@ -75,7 +75,7 @@ static inline int z_vrfy_w1_change_bus_lock(const struct device *dev, bool lock) return z_impl_w1_change_bus_lock((const struct device *)dev, lock); } -#include +#include static inline int z_vrfy_w1_configure(const struct device *dev, enum w1_settings_type type, uint32_t value) @@ -84,7 +84,7 @@ static inline int z_vrfy_w1_configure(const struct device *dev, return z_impl_w1_configure(dev, type, value); } -#include +#include static inline size_t z_vrfy_w1_get_slave_count(const struct device *dev) { @@ -92,7 +92,7 @@ static inline size_t z_vrfy_w1_get_slave_count(const struct device *dev) return z_impl_w1_get_slave_count((const struct device *)dev); } -#include +#include #if CONFIG_W1_NET static inline int z_vrfy_w1_search_bus(const struct device *dev, @@ -112,5 +112,5 @@ static inline int z_vrfy_w1_search_bus(const struct device *dev, (void *)user_data); } -#include +#include #endif /* CONFIG_W1_NET */ diff --git a/drivers/watchdog/wdt_handlers.c b/drivers/watchdog/wdt_handlers.c index 2af078514437de8..d9efd6609446b0b 100644 --- a/drivers/watchdog/wdt_handlers.c +++ b/drivers/watchdog/wdt_handlers.c @@ -13,7 +13,7 @@ static inline int z_vrfy_wdt_setup(const struct device *dev, uint8_t options) return z_impl_wdt_setup(dev, options); } -#include +#include static inline int z_vrfy_wdt_disable(const struct device *dev) { @@ -21,7 +21,7 @@ static inline int z_vrfy_wdt_disable(const struct device *dev) return z_impl_wdt_disable(dev); } -#include +#include static inline int z_vrfy_wdt_feed(const struct device *dev, int channel_id) { @@ -29,4 +29,4 @@ static inline int z_vrfy_wdt_feed(const struct device *dev, int channel_id) return z_impl_wdt_feed(dev, channel_id); } -#include +#include diff --git a/include/zephyr/arch/riscv/error.h b/include/zephyr/arch/riscv/error.h index e6af12f700e1576..b99c1037cf75c5f 100644 --- a/include/zephyr/arch/riscv/error.h +++ b/include/zephyr/arch/riscv/error.h @@ -42,7 +42,7 @@ extern "C" { __syscall void user_fault(unsigned int reason); -#include +#include #ifdef __cplusplus } diff --git a/include/zephyr/cache.h b/include/zephyr/cache.h index 994d96dccbe7c8c..e294f4402b6cc5e 100644 --- a/include/zephyr/cache.h +++ b/include/zephyr/cache.h @@ -448,7 +448,7 @@ static ALWAYS_INLINE void sys_cache_flush(void *addr, size_t size) } #endif -#include +#include #ifdef __cplusplus } #endif diff --git a/include/zephyr/device.h b/include/zephyr/device.h index 26500fb6c0837b1..075e1ec4f71898f 100644 --- a/include/zephyr/device.h +++ b/include/zephyr/device.h @@ -1028,6 +1028,6 @@ DT_FOREACH_STATUS_OKAY_NODE(Z_MAYBE_DEVICE_DECLARE_INTERNAL) } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DEVICE_H_ */ diff --git a/include/zephyr/drivers/adc.h b/include/zephyr/drivers/adc.h index 989ec79ce11431d..b24a587e6d4723f 100644 --- a/include/zephyr/drivers/adc.h +++ b/include/zephyr/drivers/adc.h @@ -883,6 +883,6 @@ static inline bool adc_is_ready_dt(const struct adc_dt_spec *spec) } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_ADC_H_ */ diff --git a/include/zephyr/drivers/auxdisplay.h b/include/zephyr/drivers/auxdisplay.h index 0e1a99d919e9751..bb16ec40b3ca00d 100644 --- a/include/zephyr/drivers/auxdisplay.h +++ b/include/zephyr/drivers/auxdisplay.h @@ -813,6 +813,6 @@ static inline int z_impl_auxdisplay_custom_command(const struct device *dev, * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_AUXDISPLAY_H_ */ diff --git a/include/zephyr/drivers/bbram.h b/include/zephyr/drivers/bbram.h index 599a3588ac81a4a..30df6a5dd7d2bdd 100644 --- a/include/zephyr/drivers/bbram.h +++ b/include/zephyr/drivers/bbram.h @@ -261,6 +261,6 @@ int bbram_emul_set_power_state(const struct device *dev, bool failure); * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_BBRAM_H */ diff --git a/include/zephyr/drivers/can.h b/include/zephyr/drivers/can.h index 54a75b93dc322d5..9f58518e9c34e37 100644 --- a/include/zephyr/drivers/can.h +++ b/include/zephyr/drivers/can.h @@ -1431,6 +1431,6 @@ static inline bool can_frame_matches_filter(const struct can_frame *frame, } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_CAN_H_ */ diff --git a/include/zephyr/drivers/charger.h b/include/zephyr/drivers/charger.h index 8e72ae03b0b733a..7b6574d47abc73b 100644 --- a/include/zephyr/drivers/charger.h +++ b/include/zephyr/drivers/charger.h @@ -179,6 +179,6 @@ static inline int z_impl_charger_set_prop(const struct device *dev, const charge } #endif /* __cplusplus */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_CHARGER_H_ */ diff --git a/include/zephyr/drivers/console/uart_mux.h b/include/zephyr/drivers/console/uart_mux.h index 56b7f80cabd7a62..911372ce5784c18 100644 --- a/include/zephyr/drivers/console/uart_mux.h +++ b/include/zephyr/drivers/console/uart_mux.h @@ -151,7 +151,7 @@ void uart_mux_enable(const struct device *dev); } #endif -#include +#include /** * @} diff --git a/include/zephyr/drivers/counter.h b/include/zephyr/drivers/counter.h index 5da1a257d21ad8d..693bdd076a44b2d 100644 --- a/include/zephyr/drivers/counter.h +++ b/include/zephyr/drivers/counter.h @@ -676,6 +676,6 @@ static inline uint32_t z_impl_counter_get_guard_period(const struct device *dev, * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_COUNTER_H_ */ diff --git a/include/zephyr/drivers/dac.h b/include/zephyr/drivers/dac.h index 3ad68c4c58ee37c..d38daca6bc4fcc8 100644 --- a/include/zephyr/drivers/dac.h +++ b/include/zephyr/drivers/dac.h @@ -129,6 +129,6 @@ static inline int z_impl_dac_write_value(const struct device *dev, } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_DAC_H_ */ diff --git a/include/zephyr/drivers/dma.h b/include/zephyr/drivers/dma.h index eb04334101d0066..91ec9872b505807 100644 --- a/include/zephyr/drivers/dma.h +++ b/include/zephyr/drivers/dma.h @@ -730,6 +730,6 @@ static inline uint32_t dma_burst_index(uint32_t burst) } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_DMA_H_ */ diff --git a/include/zephyr/drivers/eeprom.h b/include/zephyr/drivers/eeprom.h index 2494d3e67549f1a..8219b461e683b1d 100644 --- a/include/zephyr/drivers/eeprom.h +++ b/include/zephyr/drivers/eeprom.h @@ -115,6 +115,6 @@ static inline size_t z_impl_eeprom_get_size(const struct device *dev) * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_EEPROM_H_ */ diff --git a/include/zephyr/drivers/emul_fuel_gauge.h b/include/zephyr/drivers/emul_fuel_gauge.h index 5abd7ec4f6ffb9f..e86c45a2f2bf642 100644 --- a/include/zephyr/drivers/emul_fuel_gauge.h +++ b/include/zephyr/drivers/emul_fuel_gauge.h @@ -93,7 +93,7 @@ static inline int z_impl_emul_fuel_gauge_is_battery_cutoff(const struct emul *ta } #endif -#include +#include /** * @} diff --git a/include/zephyr/drivers/entropy.h b/include/zephyr/drivers/entropy.h index 9bf4f37c3a83ee5..8989b7fa160f67a 100644 --- a/include/zephyr/drivers/entropy.h +++ b/include/zephyr/drivers/entropy.h @@ -119,6 +119,6 @@ static inline int entropy_get_entropy_isr(const struct device *dev, * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_ENTROPY_H_ */ diff --git a/include/zephyr/drivers/espi.h b/include/zephyr/drivers/espi.h index d2f77622fc58a95..6b8013bb80897d7 100644 --- a/include/zephyr/drivers/espi.h +++ b/include/zephyr/drivers/espi.h @@ -1022,5 +1022,5 @@ static inline int espi_remove_callback(const struct device *dev, /** * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_ESPI_H_ */ diff --git a/include/zephyr/drivers/espi_saf.h b/include/zephyr/drivers/espi_saf.h index 9c6f47d1590254f..d75bcac9d5e9bea 100644 --- a/include/zephyr/drivers/espi_saf.h +++ b/include/zephyr/drivers/espi_saf.h @@ -525,5 +525,5 @@ static inline int espi_saf_remove_callback(const struct device *dev, /** * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_ESPI_SAF_H_ */ diff --git a/include/zephyr/drivers/flash.h b/include/zephyr/drivers/flash.h index de5e7c2116e0379..75504e46581154e 100644 --- a/include/zephyr/drivers/flash.h +++ b/include/zephyr/drivers/flash.h @@ -501,6 +501,6 @@ static inline int z_impl_flash_ex_op(const struct device *dev, uint16_t code, * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_FLASH_H_ */ diff --git a/include/zephyr/drivers/flash/flash_simulator.h b/include/zephyr/drivers/flash/flash_simulator.h index 0f7e3c5760e767e..e1a201b62b3a4d5 100644 --- a/include/zephyr/drivers/flash/flash_simulator.h +++ b/include/zephyr/drivers/flash/flash_simulator.h @@ -34,6 +34,6 @@ __syscall void *flash_simulator_get_memory(const struct device *dev, } #endif -#include +#include #endif /* __ZEPHYR_INCLUDE_DRIVERS__FLASH_SIMULATOR_H__ */ diff --git a/include/zephyr/drivers/flash/nrf_qspi_nor.h b/include/zephyr/drivers/flash/nrf_qspi_nor.h index 2c3767ad350d118..87db5c75213f54e 100644 --- a/include/zephyr/drivers/flash/nrf_qspi_nor.h +++ b/include/zephyr/drivers/flash/nrf_qspi_nor.h @@ -35,6 +35,6 @@ __syscall void nrf_qspi_nor_xip_enable(const struct device *dev, bool enable); } #endif -#include +#include #endif /* __ZEPHYR_INCLUDE_DRIVERS_FLASH_NRF_QSPI_NOR_H__ */ diff --git a/include/zephyr/drivers/fuel_gauge.h b/include/zephyr/drivers/fuel_gauge.h index 760201d6f760ccc..bddad420ad3a915 100644 --- a/include/zephyr/drivers/fuel_gauge.h +++ b/include/zephyr/drivers/fuel_gauge.h @@ -414,6 +414,6 @@ static inline int z_impl_fuel_gauge_battery_cutoff(const struct device *dev) } #endif /* __cplusplus */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_BATTERY_H_ */ diff --git a/include/zephyr/drivers/gpio.h b/include/zephyr/drivers/gpio.h index 99d6d677a65daa7..85ce92535b61ae6 100644 --- a/include/zephyr/drivers/gpio.h +++ b/include/zephyr/drivers/gpio.h @@ -1824,6 +1824,6 @@ static inline int z_impl_gpio_get_pending_int(const struct device *dev) } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_GPIO_H_ */ diff --git a/include/zephyr/drivers/hwinfo.h b/include/zephyr/drivers/hwinfo.h index 7e9b7201e38d1ca..cd19fc9afd070a4 100644 --- a/include/zephyr/drivers/hwinfo.h +++ b/include/zephyr/drivers/hwinfo.h @@ -153,6 +153,6 @@ int z_impl_hwinfo_get_supported_reset_cause(uint32_t *supported); } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_HWINFO_H_ */ diff --git a/include/zephyr/drivers/hwspinlock.h b/include/zephyr/drivers/hwspinlock.h index 9f9fd994ea25ddb..c6e5b480026b3b1 100644 --- a/include/zephyr/drivers/hwspinlock.h +++ b/include/zephyr/drivers/hwspinlock.h @@ -154,6 +154,6 @@ static inline uint32_t z_impl_hwspinlock_get_max_id(const struct device *dev) /** @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_HWSPINLOCK_H_ */ diff --git a/include/zephyr/drivers/i2c.h b/include/zephyr/drivers/i2c.h index f0268322ecb1961..4c01920ef8436d9 100644 --- a/include/zephyr/drivers/i2c.h +++ b/include/zephyr/drivers/i2c.h @@ -1599,6 +1599,6 @@ static inline int i2c_reg_update_byte_dt(const struct i2c_dt_spec *spec, * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_I2C_H_ */ diff --git a/include/zephyr/drivers/i2s.h b/include/zephyr/drivers/i2s.h index 8ef83ddee7f22c6..4430e2c661b1e0a 100644 --- a/include/zephyr/drivers/i2s.h +++ b/include/zephyr/drivers/i2s.h @@ -542,6 +542,6 @@ static inline int z_impl_i2s_trigger(const struct device *dev, } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_I2S_H_ */ diff --git a/include/zephyr/drivers/i3c.h b/include/zephyr/drivers/i3c.h index 36a93fc01de955c..eb24d0a2da61195 100644 --- a/include/zephyr/drivers/i3c.h +++ b/include/zephyr/drivers/i3c.h @@ -2052,6 +2052,6 @@ int i3c_device_basic_info_get(struct i3c_device_desc *target); * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_I3C_H_ */ diff --git a/include/zephyr/drivers/ipm.h b/include/zephyr/drivers/ipm.h index 10ba85f8736e347..74bb26af5a84007 100644 --- a/include/zephyr/drivers/ipm.h +++ b/include/zephyr/drivers/ipm.h @@ -268,6 +268,6 @@ static inline void z_impl_ipm_complete(const struct device *ipmdev) * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_IPM_H_ */ diff --git a/include/zephyr/drivers/kscan.h b/include/zephyr/drivers/kscan.h index 64e9e8bbb74fb30..ddd1a1b8bc0b050 100644 --- a/include/zephyr/drivers/kscan.h +++ b/include/zephyr/drivers/kscan.h @@ -137,6 +137,6 @@ static inline int z_impl_kscan_disable_callback(const struct device *dev) * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_KB_SCAN_H_ */ diff --git a/include/zephyr/drivers/led.h b/include/zephyr/drivers/led.h index b9dd8cc2775d7ba..c9a0c97c1cadb3d 100644 --- a/include/zephyr/drivers/led.h +++ b/include/zephyr/drivers/led.h @@ -337,6 +337,6 @@ static inline int z_impl_led_off(const struct device *dev, uint32_t led) } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_LED_H_ */ diff --git a/include/zephyr/drivers/mbox.h b/include/zephyr/drivers/mbox.h index daa0e77056c018a..20fd874c1245ae3 100644 --- a/include/zephyr/drivers/mbox.h +++ b/include/zephyr/drivers/mbox.h @@ -407,6 +407,6 @@ static inline uint32_t z_impl_mbox_max_channels_get(const struct device *dev) * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_MBOX_H_ */ diff --git a/include/zephyr/drivers/mdio.h b/include/zephyr/drivers/mdio.h index 1d030c0f586f18d..687aebee17df2c0 100644 --- a/include/zephyr/drivers/mdio.h +++ b/include/zephyr/drivers/mdio.h @@ -232,6 +232,6 @@ static inline int z_impl_mdio_write_c45(const struct device *dev, uint8_t prtad, * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_MDIO_H_ */ diff --git a/include/zephyr/drivers/misc/timeaware_gpio/timeaware_gpio.h b/include/zephyr/drivers/misc/timeaware_gpio/timeaware_gpio.h index 68c305f9e1840e7..34643b48586678d 100644 --- a/include/zephyr/drivers/misc/timeaware_gpio/timeaware_gpio.h +++ b/include/zephyr/drivers/misc/timeaware_gpio/timeaware_gpio.h @@ -188,6 +188,6 @@ static inline int z_impl_tgpio_pin_read_ts_ec(const struct device *dev, uint32_t } #endif -#include +#include #endif /* ZEPHYR_DRIVERS_MISC_TIMEAWARE_GPIO_TIMEAWARE_GPIO */ diff --git a/include/zephyr/drivers/peci.h b/include/zephyr/drivers/peci.h index af3f287a66206fe..02d76b24e26f7c0 100644 --- a/include/zephyr/drivers/peci.h +++ b/include/zephyr/drivers/peci.h @@ -346,6 +346,6 @@ static inline int z_impl_peci_transfer(const struct device *dev, * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_PECI_H_ */ diff --git a/include/zephyr/drivers/ps2.h b/include/zephyr/drivers/ps2.h index 80351c446618476..6060ba60478f433 100644 --- a/include/zephyr/drivers/ps2.h +++ b/include/zephyr/drivers/ps2.h @@ -172,6 +172,6 @@ static inline int z_impl_ps2_disable_callback(const struct device *dev) * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_PS2_H_ */ diff --git a/include/zephyr/drivers/ptp_clock.h b/include/zephyr/drivers/ptp_clock.h index fb6cc8f5a51c647..176c7be8fd16a18 100644 --- a/include/zephyr/drivers/ptp_clock.h +++ b/include/zephyr/drivers/ptp_clock.h @@ -101,6 +101,6 @@ static inline int ptp_clock_rate_adjust(const struct device *dev, double rate) } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_PTP_CLOCK_H_ */ diff --git a/include/zephyr/drivers/pwm.h b/include/zephyr/drivers/pwm.h index 3affc596af7edea..742bf02282097d9 100644 --- a/include/zephyr/drivers/pwm.h +++ b/include/zephyr/drivers/pwm.h @@ -946,6 +946,6 @@ static inline bool pwm_is_ready_dt(const struct pwm_dt_spec *spec) * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_PWM_H_ */ diff --git a/include/zephyr/drivers/reset.h b/include/zephyr/drivers/reset.h index fc49133e403f489..d4bb9a45f80fbdf 100644 --- a/include/zephyr/drivers/reset.h +++ b/include/zephyr/drivers/reset.h @@ -322,6 +322,6 @@ static inline int reset_line_toggle_dt(const struct reset_dt_spec *spec) } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_RESET_H_ */ diff --git a/include/zephyr/drivers/retained_mem.h b/include/zephyr/drivers/retained_mem.h index 1a4ea8e0ccc611d..3e09bacbd883ab6 100644 --- a/include/zephyr/drivers/retained_mem.h +++ b/include/zephyr/drivers/retained_mem.h @@ -190,6 +190,6 @@ static inline int z_impl_retained_mem_clear(const struct device *dev) } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_RETAINED_MEM_ */ diff --git a/include/zephyr/drivers/rtc.h b/include/zephyr/drivers/rtc.h index 3cd704c7c89d823..d5f0687371fa08d 100644 --- a/include/zephyr/drivers/rtc.h +++ b/include/zephyr/drivers/rtc.h @@ -537,6 +537,6 @@ static inline struct tm *rtc_time_to_tm(struct rtc_time *timeptr) } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_RTC_H_ */ diff --git a/include/zephyr/drivers/rtc/maxim_ds3231.h b/include/zephyr/drivers/rtc/maxim_ds3231.h index 6e9a4a1cb394f55..76d5e9e19d91e01 100644 --- a/include/zephyr/drivers/rtc/maxim_ds3231.h +++ b/include/zephyr/drivers/rtc/maxim_ds3231.h @@ -596,6 +596,6 @@ int maxim_ds3231_check_alarms(const struct device *dev); #endif /* @todo this should be syscalls/drivers/rtc/maxim_ds3231.h */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_RTC_DS3231_H_ */ diff --git a/include/zephyr/drivers/sdhc.h b/include/zephyr/drivers/sdhc.h index 78529af2f4b05c8..077d13ad375367a 100644 --- a/include/zephyr/drivers/sdhc.h +++ b/include/zephyr/drivers/sdhc.h @@ -438,5 +438,5 @@ static inline int z_impl_sdhc_get_host_props(const struct device *dev, } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_SDHC_H_ */ diff --git a/include/zephyr/drivers/sensor.h b/include/zephyr/drivers/sensor.h index 903acb6f03ac466..d6be9c6f1e75dd1 100644 --- a/include/zephyr/drivers/sensor.h +++ b/include/zephyr/drivers/sensor.h @@ -1315,6 +1315,6 @@ DT_FOREACH_STATUS_OKAY_NODE(Z_MAYBE_SENSOR_DECODER_DECLARE_INTERNAL) } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_SENSOR_H_ */ diff --git a/include/zephyr/drivers/sip_svc/sip_svc_driver.h b/include/zephyr/drivers/sip_svc/sip_svc_driver.h index 2904986af3651d9..07b8f7f8675419c 100644 --- a/include/zephyr/drivers/sip_svc/sip_svc_driver.h +++ b/include/zephyr/drivers/sip_svc/sip_svc_driver.h @@ -349,6 +349,6 @@ static inline void z_impl_sip_svc_plat_free_async_memory(const struct device *de } -#include +#include #endif /* ZEPHYR_INCLUDE_SIP_SVC_DRIVER_H_ */ diff --git a/include/zephyr/drivers/smbus.h b/include/zephyr/drivers/smbus.h index b624462f4259704..0dee863005f0ae1 100644 --- a/include/zephyr/drivers/smbus.h +++ b/include/zephyr/drivers/smbus.h @@ -1089,6 +1089,6 @@ static inline int z_impl_smbus_block_pcall(const struct device *dev, * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_SMBUS_H_ */ diff --git a/include/zephyr/drivers/spi.h b/include/zephyr/drivers/spi.h index 671040de6a3ebad..57e68403be12276 100644 --- a/include/zephyr/drivers/spi.h +++ b/include/zephyr/drivers/spi.h @@ -1311,6 +1311,6 @@ static inline int spi_release_dt(const struct spi_dt_spec *spec) * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_SPI_H_ */ diff --git a/include/zephyr/drivers/syscon.h b/include/zephyr/drivers/syscon.h index a8c5750cc4e0eb2..6794b48eb64a23f 100644 --- a/include/zephyr/drivers/syscon.h +++ b/include/zephyr/drivers/syscon.h @@ -160,6 +160,6 @@ static inline int z_impl_syscon_get_size(const struct device *dev, size_t *size) } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_SYSCON_H_ */ diff --git a/include/zephyr/drivers/uart.h b/include/zephyr/drivers/uart.h index 6d68da64a5803b7..c95baf6920442c0 100644 --- a/include/zephyr/drivers/uart.h +++ b/include/zephyr/drivers/uart.h @@ -1667,6 +1667,6 @@ static inline int z_impl_uart_drv_cmd(const struct device *dev, uint32_t cmd, * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_UART_H_ */ diff --git a/include/zephyr/drivers/usb/usb_bc12.h b/include/zephyr/drivers/usb/usb_bc12.h index 57f47553388c49c..791539141739f82 100644 --- a/include/zephyr/drivers/usb/usb_bc12.h +++ b/include/zephyr/drivers/usb/usb_bc12.h @@ -184,6 +184,6 @@ static inline int z_impl_bc12_set_result_cb(const struct device *dev, bc12_callb * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_USB_USB_BC12_H_ */ diff --git a/include/zephyr/drivers/virtualization/ivshmem.h b/include/zephyr/drivers/virtualization/ivshmem.h index 0507eb6ae1af547..7ff36d4b6896c94 100644 --- a/include/zephyr/drivers/virtualization/ivshmem.h +++ b/include/zephyr/drivers/virtualization/ivshmem.h @@ -334,6 +334,6 @@ static inline int z_impl_ivshmem_enable_interrupts(const struct device *dev, * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_VIRTUALIZATION_IVSHMEM_H_ */ diff --git a/include/zephyr/drivers/w1.h b/include/zephyr/drivers/w1.h index a23f3577c5b975c..fe92f3547333312 100644 --- a/include/zephyr/drivers/w1.h +++ b/include/zephyr/drivers/w1.h @@ -718,6 +718,6 @@ static inline uint16_t w1_crc16(const uint16_t seed, const uint8_t *src, /** * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_W1_H_ */ diff --git a/include/zephyr/drivers/watchdog.h b/include/zephyr/drivers/watchdog.h index d2bfb0518395fb6..cf02c07bf603b8f 100644 --- a/include/zephyr/drivers/watchdog.h +++ b/include/zephyr/drivers/watchdog.h @@ -251,6 +251,6 @@ static inline int z_impl_wdt_feed(const struct device *dev, int channel_id) /** @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_WATCHDOG_H_ */ diff --git a/include/zephyr/kernel.h b/include/zephyr/kernel.h index 5dc5848898567b8..ac1f9c7366aa272 100644 --- a/include/zephyr/kernel.h +++ b/include/zephyr/kernel.h @@ -6095,7 +6095,7 @@ extern void k_sys_runtime_stats_disable(void); #endif #include -#include +#include #endif /* !_ASMLANGUAGE */ diff --git a/include/zephyr/logging/log_ctrl.h b/include/zephyr/logging/log_ctrl.h index dc5f39a2e7df6e1..ae7e15097fdef05 100644 --- a/include/zephyr/logging/log_ctrl.h +++ b/include/zephyr/logging/log_ctrl.h @@ -273,7 +273,7 @@ int log_mem_get_max_usage(uint32_t *max); #define LOG_PROCESS() false #endif -#include +#include /** * @} diff --git a/include/zephyr/logging/log_msg.h b/include/zephyr/logging/log_msg.h index 0279fb0d2cdbb1d..4f17b6ab74fa677 100644 --- a/include/zephyr/logging/log_msg.h +++ b/include/zephyr/logging/log_msg.h @@ -708,7 +708,7 @@ static inline uint8_t *log_msg_get_package(struct log_msg *msg, size_t *len) * @} */ -#include +#include #ifdef __cplusplus } diff --git a/include/zephyr/mgmt/updatehub.h b/include/zephyr/mgmt/updatehub.h index 57e4b82b5dbe43c..c37ba423900634d 100644 --- a/include/zephyr/mgmt/updatehub.h +++ b/include/zephyr/mgmt/updatehub.h @@ -98,5 +98,5 @@ __syscall int updatehub_reboot(void); * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_MGMT_UPDATEHUB_H_ */ diff --git a/include/zephyr/net/ethernet.h b/include/zephyr/net/ethernet.h index a47ec767a608f7e..63f5e10cdc361d1 100644 --- a/include/zephyr/net/ethernet.h +++ b/include/zephyr/net/ethernet.h @@ -1068,6 +1068,6 @@ static inline bool net_eth_type_is_wifi(struct net_if *iface) } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_NET_ETHERNET_H_ */ diff --git a/include/zephyr/net/net_if.h b/include/zephyr/net/net_if.h index 82a1447b4f93a61..a60250be6cbb78a 100644 --- a/include/zephyr/net/net_if.h +++ b/include/zephyr/net/net_if.h @@ -2997,7 +2997,7 @@ struct net_if_api { } #endif -#include +#include /** * @} diff --git a/include/zephyr/net/net_ip.h b/include/zephyr/net/net_ip.h index 6c78428c1c7b5a8..2f2b40b2361e389 100644 --- a/include/zephyr/net/net_ip.h +++ b/include/zephyr/net/net_ip.h @@ -1615,7 +1615,7 @@ const char *net_family2str(sa_family_t family); } #endif -#include +#include /** * @} diff --git a/include/zephyr/net/phy.h b/include/zephyr/net/phy.h index 40de7137276a193..221299d5a9bb5e1 100644 --- a/include/zephyr/net/phy.h +++ b/include/zephyr/net/phy.h @@ -232,6 +232,6 @@ static inline int z_impl_phy_write(const struct device *dev, uint16_t reg_addr, * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_DRIVERS_PHY_H_ */ diff --git a/include/zephyr/net/socket.h b/include/zephyr/net/socket.h index f12622e5df5023a..a9f8bb5036aec9a 100644 --- a/include/zephyr/net/socket.h +++ b/include/zephyr/net/socket.h @@ -1133,7 +1133,7 @@ struct net_socket_register { } #endif -#include +#include /** * @} diff --git a/include/zephyr/net/socket_select.h b/include/zephyr/net/socket_select.h index f9469a7c7fe278d..5f65c2119031256 100644 --- a/include/zephyr/net/socket_select.h +++ b/include/zephyr/net/socket_select.h @@ -144,7 +144,7 @@ static inline void FD_SET(int fd, zsock_fd_set *set) } #endif -#include +#include /** * @} diff --git a/include/zephyr/posix/time.h b/include/zephyr/posix/time.h index 85cb7f8ae4226ae..acb43d644bea269 100644 --- a/include/zephyr/posix/time.h +++ b/include/zephyr/posix/time.h @@ -104,7 +104,7 @@ int clock_nanosleep(clockid_t clock_id, int flags, #endif #if !(defined(CONFIG_ARCH_POSIX) && defined(CONFIG_EXTERNAL_LIBC)) -#include +#include #endif /* CONFIG_ARCH_POSIX */ #else /* ZEPHYR_INCLUDE_POSIX_TIME_H_ */ diff --git a/include/zephyr/random/random.h b/include/zephyr/random/random.h index e4b52f683aad6ee..0602b8abe3ba298 100644 --- a/include/zephyr/random/random.h +++ b/include/zephyr/random/random.h @@ -83,5 +83,5 @@ __syscall int sys_csrand_get(void *dst, size_t len); * @} */ -#include +#include #endif /* ZEPHYR_INCLUDE_RANDOM_RANDOM_H_ */ diff --git a/include/zephyr/rtio/rtio.h b/include/zephyr/rtio/rtio.h index 8ad07281ceef329..76e3308db214174 100644 --- a/include/zephyr/rtio/rtio.h +++ b/include/zephyr/rtio/rtio.h @@ -1464,6 +1464,6 @@ static inline int z_impl_rtio_submit(struct rtio *r, uint32_t wait_count) } #endif -#include +#include #endif /* ZEPHYR_INCLUDE_RTIO_RTIO_H_ */ diff --git a/include/zephyr/sys/atomic_c.h b/include/zephyr/sys/atomic_c.h index ee368c28f42845f..d5e2a3cc441c69d 100644 --- a/include/zephyr/sys/atomic_c.h +++ b/include/zephyr/sys/atomic_c.h @@ -72,7 +72,7 @@ __syscall atomic_val_t atomic_nand(atomic_t *target, atomic_val_t value); #endif #ifdef CONFIG_ATOMIC_OPERATIONS_C -#include +#include #endif #endif /* ZEPHYR_INCLUDE_SYS_ATOMIC_C_H_ */ diff --git a/include/zephyr/sys/errno_private.h b/include/zephyr/sys/errno_private.h index 60df9622bb81da3..5adba7bfc08b8f8 100644 --- a/include/zephyr/sys/errno_private.h +++ b/include/zephyr/sys/errno_private.h @@ -50,7 +50,7 @@ __syscall int *z_errno(void); #endif #if !defined(CONFIG_ERRNO_IN_TLS) && !defined(CONFIG_LIBC_ERRNO) -#include +#include #endif /* CONFIG_ERRNO_IN_TLS */ #endif /* ZEPHYR_INCLUDE_SYS_ERRNO_PRIVATE_H_ */ diff --git a/include/zephyr/sys/kobject.h b/include/zephyr/sys/kobject.h index a54370268b8ba18..7b098ff9dc5a261 100644 --- a/include/zephyr/sys/kobject.h +++ b/include/zephyr/sys/kobject.h @@ -402,7 +402,7 @@ static inline void k_object_free(void *obj) /** @} */ -#include +#include #ifdef __cplusplus } #endif diff --git a/include/zephyr/sys/libc-hooks.h b/include/zephyr/sys/libc-hooks.h index e00efc6de26849a..b9c38bb3c4ad583 100644 --- a/include/zephyr/sys/libc-hooks.h +++ b/include/zephyr/sys/libc-hooks.h @@ -109,7 +109,7 @@ extern struct k_mem_partition z_libc_partition; #endif #endif /* CONFIG_USERSPACE */ -#include +#include /* C library memory partitions */ #define Z_LIBC_DATA K_APP_DMEM(z_libc_partition) diff --git a/include/zephyr/sys/mem_manage.h b/include/zephyr/sys/mem_manage.h index 1dfbabcc3b0c811..9718a5418f356f2 100644 --- a/include/zephyr/sys/mem_manage.h +++ b/include/zephyr/sys/mem_manage.h @@ -513,7 +513,7 @@ __syscall void k_mem_paging_histogram_backing_store_page_in_get( __syscall void k_mem_paging_histogram_backing_store_page_out_get( struct k_mem_paging_histogram_t *hist); -#include +#include /** @} */ diff --git a/include/zephyr/sys/mutex.h b/include/zephyr/sys/mutex.h index 1a7968e83cbb554..e34cc90d8d908c3 100644 --- a/include/zephyr/sys/mutex.h +++ b/include/zephyr/sys/mutex.h @@ -128,7 +128,7 @@ static inline int sys_mutex_unlock(struct sys_mutex *mutex) return z_sys_mutex_kernel_unlock(mutex); } -#include +#include #else #include diff --git a/include/zephyr/sys/time_units.h b/include/zephyr/sys/time_units.h index 7f2db1a1f5552fa..46b8f1ef406f70a 100644 --- a/include/zephyr/sys/time_units.h +++ b/include/zephyr/sys/time_units.h @@ -1589,7 +1589,7 @@ static inline int z_impl_sys_clock_hw_cycles_per_sec_runtime_get(void) z_tmcvt_64(t, Z_HZ_ticks, Z_HZ_cyc, Z_CCYC, true, false) #if defined(CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME) -#include +#include #endif #undef TIME_CONSTEXPR diff --git a/kernel/atomic_c.c b/kernel/atomic_c.c index ef6e759a8b5c919..5eb145230e41436 100644 --- a/kernel/atomic_c.c +++ b/kernel/atomic_c.c @@ -112,7 +112,7 @@ bool z_vrfy_atomic_cas(atomic_t *target, atomic_val_t old_value, return z_impl_atomic_cas((atomic_t *)target, old_value, new_value); } -#include +#include #endif /* CONFIG_USERSPACE */ bool z_impl_atomic_ptr_cas(atomic_ptr_t *target, atomic_ptr_val_t old_value, @@ -142,7 +142,7 @@ static inline bool z_vrfy_atomic_ptr_cas(atomic_ptr_t *target, return z_impl_atomic_ptr_cas(target, old_value, new_value); } -#include +#include #endif /* CONFIG_USERSPACE */ /** @@ -280,7 +280,7 @@ static inline atomic_ptr_val_t z_vrfy_atomic_ptr_set(atomic_ptr_t *target, return z_impl_atomic_ptr_set(target, value); } -#include +#include #endif /* CONFIG_USERSPACE */ /** @@ -404,11 +404,11 @@ atomic_val_t z_impl_atomic_nand(atomic_t *target, atomic_val_t value) ATOMIC_SYSCALL_HANDLER_TARGET_VALUE(atomic_nand); #ifdef CONFIG_USERSPACE -#include -#include -#include -#include -#include -#include -#include +#include +#include +#include +#include +#include +#include +#include #endif diff --git a/kernel/busy_wait.c b/kernel/busy_wait.c index 4bb94ca04d59bea..62dccfe0de59d76 100644 --- a/kernel/busy_wait.c +++ b/kernel/busy_wait.c @@ -58,5 +58,5 @@ static inline void z_vrfy_k_busy_wait(uint32_t usec_to_wait) { z_impl_k_busy_wait(usec_to_wait); } -#include +#include #endif /* CONFIG_USERSPACE */ diff --git a/kernel/condvar.c b/kernel/condvar.c index 21f538c19960673..23e7e820d424b22 100644 --- a/kernel/condvar.c +++ b/kernel/condvar.c @@ -38,7 +38,7 @@ int z_vrfy_k_condvar_init(struct k_condvar *condvar) Z_OOPS(Z_SYSCALL_OBJ_INIT(condvar, K_OBJ_CONDVAR)); return z_impl_k_condvar_init(condvar); } -#include +#include #endif int z_impl_k_condvar_signal(struct k_condvar *condvar) @@ -70,7 +70,7 @@ int z_vrfy_k_condvar_signal(struct k_condvar *condvar) Z_OOPS(Z_SYSCALL_OBJ(condvar, K_OBJ_CONDVAR)); return z_impl_k_condvar_signal(condvar); } -#include +#include #endif int z_impl_k_condvar_broadcast(struct k_condvar *condvar) @@ -103,7 +103,7 @@ int z_vrfy_k_condvar_broadcast(struct k_condvar *condvar) Z_OOPS(Z_SYSCALL_OBJ(condvar, K_OBJ_CONDVAR)); return z_impl_k_condvar_broadcast(condvar); } -#include +#include #endif int z_impl_k_condvar_wait(struct k_condvar *condvar, struct k_mutex *mutex, @@ -132,7 +132,7 @@ int z_vrfy_k_condvar_wait(struct k_condvar *condvar, struct k_mutex *mutex, Z_OOPS(Z_SYSCALL_OBJ(mutex, K_OBJ_MUTEX)); return z_impl_k_condvar_wait(condvar, mutex, timeout); } -#include +#include #endif #ifdef CONFIG_OBJ_CORE_CONDVAR diff --git a/kernel/device.c b/kernel/device.c index d5ceb615461ae26..625c2d64130bfbe 100644 --- a/kernel/device.c +++ b/kernel/device.c @@ -66,7 +66,7 @@ static inline const struct device *z_vrfy_device_get_binding(const char *name) return z_impl_device_get_binding(name_copy); } -#include +#include static inline bool z_vrfy_device_is_ready(const struct device *dev) { @@ -74,7 +74,7 @@ static inline bool z_vrfy_device_is_ready(const struct device *dev) return z_impl_device_is_ready(dev); } -#include +#include #endif /* CONFIG_USERSPACE */ size_t z_device_get_all_static(struct device const **devices) diff --git a/kernel/dynamic.c b/kernel/dynamic.c index 5215e83fa77ba7d..c33854317204d1c 100644 --- a/kernel/dynamic.c +++ b/kernel/dynamic.c @@ -104,7 +104,7 @@ static inline k_thread_stack_t *z_vrfy_k_thread_stack_alloc(size_t size, int fla { return z_impl_k_thread_stack_alloc(size, flags); } -#include +#include #endif static void dyn_cb(const struct k_thread *thread, void *user_data) @@ -173,5 +173,5 @@ static inline int z_vrfy_k_thread_stack_free(k_thread_stack_t *stack) { return z_impl_k_thread_stack_free(stack); } -#include +#include #endif diff --git a/kernel/errno.c b/kernel/errno.c index 37866819bf52f9d..0a0611b20f66904 100644 --- a/kernel/errno.c +++ b/kernel/errno.c @@ -43,7 +43,7 @@ static inline int *z_vrfy_z_errno(void) { return z_impl_z_errno(); } -#include +#include #else int *z_impl_z_errno(void) diff --git a/kernel/events.c b/kernel/events.c index 654978650bcc468..9c57d3be21f8a7a 100644 --- a/kernel/events.c +++ b/kernel/events.c @@ -71,7 +71,7 @@ void z_vrfy_k_event_init(struct k_event *event) Z_OOPS(Z_SYSCALL_OBJ_NEVER_INIT(event, K_OBJ_EVENT)); z_impl_k_event_init(event); } -#include +#include #endif /** @@ -190,7 +190,7 @@ uint32_t z_vrfy_k_event_post(struct k_event *event, uint32_t events) Z_OOPS(Z_SYSCALL_OBJ(event, K_OBJ_EVENT)); return z_impl_k_event_post(event, events); } -#include +#include #endif uint32_t z_impl_k_event_set(struct k_event *event, uint32_t events) @@ -204,7 +204,7 @@ uint32_t z_vrfy_k_event_set(struct k_event *event, uint32_t events) Z_OOPS(Z_SYSCALL_OBJ(event, K_OBJ_EVENT)); return z_impl_k_event_set(event, events); } -#include +#include #endif uint32_t z_impl_k_event_set_masked(struct k_event *event, uint32_t events, @@ -220,7 +220,7 @@ uint32_t z_vrfy_k_event_set_masked(struct k_event *event, uint32_t events, Z_OOPS(Z_SYSCALL_OBJ(event, K_OBJ_EVENT)); return z_impl_k_event_set_masked(event, events, events_mask); } -#include +#include #endif uint32_t z_impl_k_event_clear(struct k_event *event, uint32_t events) @@ -234,7 +234,7 @@ uint32_t z_vrfy_k_event_clear(struct k_event *event, uint32_t events) Z_OOPS(Z_SYSCALL_OBJ(event, K_OBJ_EVENT)); return z_impl_k_event_clear(event, events); } -#include +#include #endif static uint32_t k_event_wait_internal(struct k_event *event, uint32_t events, @@ -320,7 +320,7 @@ uint32_t z_vrfy_k_event_wait(struct k_event *event, uint32_t events, Z_OOPS(Z_SYSCALL_OBJ(event, K_OBJ_EVENT)); return z_impl_k_event_wait(event, events, reset, timeout); } -#include +#include #endif /** @@ -342,7 +342,7 @@ uint32_t z_vrfy_k_event_wait_all(struct k_event *event, uint32_t events, Z_OOPS(Z_SYSCALL_OBJ(event, K_OBJ_EVENT)); return z_impl_k_event_wait_all(event, events, reset, timeout); } -#include +#include #endif #ifdef CONFIG_OBJ_CORE_EVENT diff --git a/kernel/futex.c b/kernel/futex.c index 40362045eabfa7b..5910929ad9721c9 100644 --- a/kernel/futex.c +++ b/kernel/futex.c @@ -60,7 +60,7 @@ static inline int z_vrfy_k_futex_wake(struct k_futex *futex, bool wake_all) return z_impl_k_futex_wake(futex, wake_all); } -#include +#include int z_impl_k_futex_wait(struct k_futex *futex, int expected, k_timeout_t timeout) @@ -98,4 +98,4 @@ static inline int z_vrfy_k_futex_wait(struct k_futex *futex, int expected, return z_impl_k_futex_wait(futex, expected, timeout); } -#include +#include diff --git a/kernel/msg_q.c b/kernel/msg_q.c index 5b0f7cb83bd9d87..bbe14cd80434751 100644 --- a/kernel/msg_q.c +++ b/kernel/msg_q.c @@ -97,7 +97,7 @@ int z_vrfy_k_msgq_alloc_init(struct k_msgq *msgq, size_t msg_size, return z_impl_k_msgq_alloc_init(msgq, msg_size, max_msgs); } -#include +#include #endif int k_msgq_cleanup(struct k_msgq *msgq) @@ -192,7 +192,7 @@ static inline int z_vrfy_k_msgq_put(struct k_msgq *msgq, const void *data, return z_impl_k_msgq_put(msgq, data, timeout); } -#include +#include #endif void z_impl_k_msgq_get_attrs(struct k_msgq *msgq, struct k_msgq_attrs *attrs) @@ -210,7 +210,7 @@ static inline void z_vrfy_k_msgq_get_attrs(struct k_msgq *msgq, Z_OOPS(Z_SYSCALL_MEMORY_WRITE(attrs, sizeof(struct k_msgq_attrs))); z_impl_k_msgq_get_attrs(msgq, attrs); } -#include +#include #endif int z_impl_k_msgq_get(struct k_msgq *msgq, void *data, k_timeout_t timeout) @@ -290,7 +290,7 @@ static inline int z_vrfy_k_msgq_get(struct k_msgq *msgq, void *data, return z_impl_k_msgq_get(msgq, data, timeout); } -#include +#include #endif int z_impl_k_msgq_peek(struct k_msgq *msgq, void *data) @@ -324,7 +324,7 @@ static inline int z_vrfy_k_msgq_peek(struct k_msgq *msgq, void *data) return z_impl_k_msgq_peek(msgq, data); } -#include +#include #endif int z_impl_k_msgq_peek_at(struct k_msgq *msgq, void *data, uint32_t idx) @@ -370,7 +370,7 @@ static inline int z_vrfy_k_msgq_peek_at(struct k_msgq *msgq, void *data, uint32_ return z_impl_k_msgq_peek_at(msgq, data, idx); } -#include +#include #endif void z_impl_k_msgq_purge(struct k_msgq *msgq) @@ -400,21 +400,21 @@ static inline void z_vrfy_k_msgq_purge(struct k_msgq *msgq) Z_OOPS(Z_SYSCALL_OBJ(msgq, K_OBJ_MSGQ)); z_impl_k_msgq_purge(msgq); } -#include +#include static inline uint32_t z_vrfy_k_msgq_num_free_get(struct k_msgq *msgq) { Z_OOPS(Z_SYSCALL_OBJ(msgq, K_OBJ_MSGQ)); return z_impl_k_msgq_num_free_get(msgq); } -#include +#include static inline uint32_t z_vrfy_k_msgq_num_used_get(struct k_msgq *msgq) { Z_OOPS(Z_SYSCALL_OBJ(msgq, K_OBJ_MSGQ)); return z_impl_k_msgq_num_used_get(msgq); } -#include +#include #endif diff --git a/kernel/mutex.c b/kernel/mutex.c index 94084bdcce9d080..e36a624598f91ca 100644 --- a/kernel/mutex.c +++ b/kernel/mutex.c @@ -74,7 +74,7 @@ static inline int z_vrfy_k_mutex_init(struct k_mutex *mutex) Z_OOPS(Z_SYSCALL_OBJ_INIT(mutex, K_OBJ_MUTEX)); return z_impl_k_mutex_init(mutex); } -#include +#include #endif static int32_t new_prio_for_inheritance(int32_t target, int32_t limit) @@ -203,7 +203,7 @@ static inline int z_vrfy_k_mutex_lock(struct k_mutex *mutex, Z_OOPS(Z_SYSCALL_OBJ(mutex, K_OBJ_MUTEX)); return z_impl_k_mutex_lock(mutex, timeout); } -#include +#include #endif int z_impl_k_mutex_unlock(struct k_mutex *mutex) @@ -287,7 +287,7 @@ static inline int z_vrfy_k_mutex_unlock(struct k_mutex *mutex) Z_OOPS(Z_SYSCALL_OBJ(mutex, K_OBJ_MUTEX)); return z_impl_k_mutex_unlock(mutex); } -#include +#include #endif #ifdef CONFIG_OBJ_CORE_MUTEX diff --git a/kernel/paging/statistics.c b/kernel/paging/statistics.c index f1017687f3ea812..cbfa8787b5315f7 100644 --- a/kernel/paging/statistics.c +++ b/kernel/paging/statistics.c @@ -105,7 +105,7 @@ void z_vrfy_k_mem_paging_stats_get(struct k_mem_paging_stats_t *stats) Z_OOPS(Z_SYSCALL_MEMORY_WRITE(stats, sizeof(*stats))); z_impl_k_mem_paging_stats_get(stats); } -#include +#include #endif /* CONFIG_USERSPACE */ #ifdef CONFIG_DEMAND_PAGING_THREAD_STATS @@ -129,7 +129,7 @@ void z_vrfy_k_mem_paging_thread_stats_get(struct k_thread *thread, Z_OOPS(Z_SYSCALL_MEMORY_WRITE(stats, sizeof(*stats))); z_impl_k_mem_paging_thread_stats_get(thread, stats); } -#include +#include #endif /* CONFIG_USERSPACE */ #endif /* CONFIG_DEMAND_PAGING_THREAD_STATS */ @@ -227,7 +227,7 @@ void z_vrfy_k_mem_paging_histogram_eviction_get( Z_OOPS(Z_SYSCALL_MEMORY_WRITE(hist, sizeof(*hist))); z_impl_k_mem_paging_histogram_eviction_get(hist); } -#include +#include static inline void z_vrfy_k_mem_paging_histogram_backing_store_page_in_get( @@ -236,7 +236,7 @@ void z_vrfy_k_mem_paging_histogram_backing_store_page_in_get( Z_OOPS(Z_SYSCALL_MEMORY_WRITE(hist, sizeof(*hist))); z_impl_k_mem_paging_histogram_backing_store_page_in_get(hist); } -#include +#include static inline void z_vrfy_k_mem_paging_histogram_backing_store_page_out_get( @@ -245,7 +245,7 @@ void z_vrfy_k_mem_paging_histogram_backing_store_page_out_get( Z_OOPS(Z_SYSCALL_MEMORY_WRITE(hist, sizeof(*hist))); z_impl_k_mem_paging_histogram_backing_store_page_out_get(hist); } -#include +#include #endif /* CONFIG_USERSPACE */ #endif /* CONFIG_DEMAND_PAGING_TIMING_HISTOGRAM */ diff --git a/kernel/pipes.c b/kernel/pipes.c index e4bb0227901923d..e2194da4814d548 100644 --- a/kernel/pipes.c +++ b/kernel/pipes.c @@ -93,7 +93,7 @@ static inline int z_vrfy_k_pipe_alloc_init(struct k_pipe *pipe, size_t size) return z_impl_k_pipe_alloc_init(pipe, size); } -#include +#include #endif static inline void handle_poll_events(struct k_pipe *pipe) @@ -126,7 +126,7 @@ void z_vrfy_k_pipe_flush(struct k_pipe *pipe) z_impl_k_pipe_flush(pipe); } -#include +#include #endif void z_impl_k_pipe_buffer_flush(struct k_pipe *pipe) @@ -525,7 +525,7 @@ int z_vrfy_k_pipe_put(struct k_pipe *pipe, void *data, size_t bytes_to_write, bytes_to_write, bytes_written, min_xfer, timeout); } -#include +#include #endif static int pipe_get_internal(k_spinlock_key_t key, struct k_pipe *pipe, @@ -733,7 +733,7 @@ int z_vrfy_k_pipe_get(struct k_pipe *pipe, void *data, size_t bytes_to_read, bytes_to_read, bytes_read, min_xfer, timeout); } -#include +#include #endif size_t z_impl_k_pipe_read_avail(struct k_pipe *pipe) @@ -770,7 +770,7 @@ size_t z_vrfy_k_pipe_read_avail(struct k_pipe *pipe) return z_impl_k_pipe_read_avail(pipe); } -#include +#include #endif size_t z_impl_k_pipe_write_avail(struct k_pipe *pipe) @@ -807,7 +807,7 @@ size_t z_vrfy_k_pipe_write_avail(struct k_pipe *pipe) return z_impl_k_pipe_write_avail(pipe); } -#include +#include #endif #ifdef CONFIG_OBJ_CORE_PIPE diff --git a/kernel/poll.c b/kernel/poll.c index 67e1e7f76a2daf8..9c8157a84cd5f90 100644 --- a/kernel/poll.c +++ b/kernel/poll.c @@ -434,7 +434,7 @@ static inline int z_vrfy_k_poll(struct k_poll_event *events, k_free(events_copy); Z_OOPS(1); } -#include +#include #endif /* must be called with interrupts locked */ @@ -493,7 +493,7 @@ static inline void z_vrfy_k_poll_signal_init(struct k_poll_signal *sig) Z_OOPS(Z_SYSCALL_OBJ_INIT(sig, K_OBJ_POLL_SIGNAL)); z_impl_k_poll_signal_init(sig); } -#include +#include #endif void z_impl_k_poll_signal_reset(struct k_poll_signal *sig) @@ -521,7 +521,7 @@ void z_vrfy_k_poll_signal_check(struct k_poll_signal *sig, Z_OOPS(Z_SYSCALL_MEMORY_WRITE(result, sizeof(int))); z_impl_k_poll_signal_check(sig, signaled, result); } -#include +#include #endif int z_impl_k_poll_signal_raise(struct k_poll_signal *sig, int result) @@ -556,14 +556,14 @@ static inline int z_vrfy_k_poll_signal_raise(struct k_poll_signal *sig, Z_OOPS(Z_SYSCALL_OBJ(sig, K_OBJ_POLL_SIGNAL)); return z_impl_k_poll_signal_raise(sig, result); } -#include +#include static inline void z_vrfy_k_poll_signal_reset(struct k_poll_signal *sig) { Z_OOPS(Z_SYSCALL_OBJ(sig, K_OBJ_POLL_SIGNAL)); z_impl_k_poll_signal_reset(sig); } -#include +#include #endif diff --git a/kernel/queue.c b/kernel/queue.c index 2625b9aba5bdbdc..27ad4d434dccbf3 100644 --- a/kernel/queue.c +++ b/kernel/queue.c @@ -75,7 +75,7 @@ static inline void z_vrfy_k_queue_init(struct k_queue *queue) Z_OOPS(Z_SYSCALL_OBJ_NEVER_INIT(queue, K_OBJ_QUEUE)); z_impl_k_queue_init(queue); } -#include +#include #endif static void prepare_thread_to_run(struct k_thread *thread, void *data) @@ -117,7 +117,7 @@ static inline void z_vrfy_k_queue_cancel_wait(struct k_queue *queue) Z_OOPS(Z_SYSCALL_OBJ(queue, K_OBJ_QUEUE)); z_impl_k_queue_cancel_wait(queue); } -#include +#include #endif static int32_t queue_insert(struct k_queue *queue, void *prev, void *data, @@ -220,7 +220,7 @@ static inline int32_t z_vrfy_k_queue_alloc_append(struct k_queue *queue, Z_OOPS(Z_SYSCALL_OBJ(queue, K_OBJ_QUEUE)); return z_impl_k_queue_alloc_append(queue, data); } -#include +#include #endif int32_t z_impl_k_queue_alloc_prepend(struct k_queue *queue, void *data) @@ -241,7 +241,7 @@ static inline int32_t z_vrfy_k_queue_alloc_prepend(struct k_queue *queue, Z_OOPS(Z_SYSCALL_OBJ(queue, K_OBJ_QUEUE)); return z_impl_k_queue_alloc_prepend(queue, data); } -#include +#include #endif int k_queue_append_list(struct k_queue *queue, void *head, void *tail) @@ -408,28 +408,28 @@ static inline void *z_vrfy_k_queue_get(struct k_queue *queue, Z_OOPS(Z_SYSCALL_OBJ(queue, K_OBJ_QUEUE)); return z_impl_k_queue_get(queue, timeout); } -#include +#include static inline int z_vrfy_k_queue_is_empty(struct k_queue *queue) { Z_OOPS(Z_SYSCALL_OBJ(queue, K_OBJ_QUEUE)); return z_impl_k_queue_is_empty(queue); } -#include +#include static inline void *z_vrfy_k_queue_peek_head(struct k_queue *queue) { Z_OOPS(Z_SYSCALL_OBJ(queue, K_OBJ_QUEUE)); return z_impl_k_queue_peek_head(queue); } -#include +#include static inline void *z_vrfy_k_queue_peek_tail(struct k_queue *queue) { Z_OOPS(Z_SYSCALL_OBJ(queue, K_OBJ_QUEUE)); return z_impl_k_queue_peek_tail(queue); } -#include +#include #endif /* CONFIG_USERSPACE */ diff --git a/kernel/sched.c b/kernel/sched.c index 66b10c3b04ff84f..47b1dc1690929a4 100644 --- a/kernel/sched.c +++ b/kernel/sched.c @@ -692,7 +692,7 @@ static inline void z_vrfy_k_thread_suspend(struct k_thread *thread) Z_OOPS(Z_SYSCALL_OBJ(thread, K_OBJ_THREAD)); z_impl_k_thread_suspend(thread); } -#include +#include #endif void z_impl_k_thread_resume(struct k_thread *thread) @@ -721,7 +721,7 @@ static inline void z_vrfy_k_thread_resume(struct k_thread *thread) Z_OOPS(Z_SYSCALL_OBJ(thread, K_OBJ_THREAD)); z_impl_k_thread_resume(thread); } -#include +#include #endif static _wait_q_t *pended_on_thread(struct k_thread *thread) @@ -1338,7 +1338,7 @@ static inline int z_vrfy_k_thread_priority_get(k_tid_t thread) Z_OOPS(Z_SYSCALL_OBJ(thread, K_OBJ_THREAD)); return z_impl_k_thread_priority_get(thread); } -#include +#include #endif void z_impl_k_thread_priority_set(k_tid_t thread, int prio) @@ -1367,7 +1367,7 @@ static inline void z_vrfy_k_thread_priority_set(k_tid_t thread, int prio) z_impl_k_thread_priority_set(thread, prio); } -#include +#include #endif #ifdef CONFIG_SCHED_DEADLINE @@ -1396,7 +1396,7 @@ static inline void z_vrfy_k_thread_deadline_set(k_tid_t tid, int deadline) z_impl_k_thread_deadline_set((k_tid_t)thread, deadline); } -#include +#include #endif #endif @@ -1428,7 +1428,7 @@ static inline void z_vrfy_k_yield(void) { z_impl_k_yield(); } -#include +#include #endif static int32_t z_tick_sleep(k_ticks_t ticks) @@ -1508,7 +1508,7 @@ static inline int32_t z_vrfy_k_sleep(k_timeout_t timeout) { return z_impl_k_sleep(timeout); } -#include +#include #endif int32_t z_impl_k_usleep(int us) @@ -1530,7 +1530,7 @@ static inline int32_t z_vrfy_k_usleep(int us) { return z_impl_k_usleep(us); } -#include +#include #endif void z_impl_k_wakeup(k_tid_t thread) @@ -1586,7 +1586,7 @@ static inline void z_vrfy_k_wakeup(k_tid_t thread) Z_OOPS(Z_SYSCALL_OBJ(thread, K_OBJ_THREAD)); z_impl_k_wakeup(thread); } -#include +#include #endif k_tid_t z_impl_k_sched_current_thread_query(void) @@ -1612,7 +1612,7 @@ static inline k_tid_t z_vrfy_k_sched_current_thread_query(void) { return z_impl_k_sched_current_thread_query(); } -#include +#include #endif int z_impl_k_is_preempt_thread(void) @@ -1625,7 +1625,7 @@ static inline int z_vrfy_k_is_preempt_thread(void) { return z_impl_k_is_preempt_thread(); } -#include +#include #endif #ifdef CONFIG_SCHED_CPU_MASK @@ -1904,7 +1904,7 @@ static inline int z_vrfy_k_thread_join(struct k_thread *thread, return z_impl_k_thread_join(thread, timeout); } -#include +#include static inline void z_vrfy_k_thread_abort(k_tid_t thread) { @@ -1917,7 +1917,7 @@ static inline void z_vrfy_k_thread_abort(k_tid_t thread) z_impl_k_thread_abort((struct k_thread *)thread); } -#include +#include #endif /* CONFIG_USERSPACE */ /* diff --git a/kernel/sem.c b/kernel/sem.c index 3b8bcb12808dd86..c8c3a944837102a 100644 --- a/kernel/sem.c +++ b/kernel/sem.c @@ -79,7 +79,7 @@ int z_vrfy_k_sem_init(struct k_sem *sem, unsigned int initial_count, Z_OOPS(Z_SYSCALL_OBJ_INIT(sem, K_OBJ_SEM)); return z_impl_k_sem_init(sem, initial_count, limit); } -#include +#include #endif static inline bool handle_poll_events(struct k_sem *sem) @@ -126,7 +126,7 @@ static inline void z_vrfy_k_sem_give(struct k_sem *sem) Z_OOPS(Z_SYSCALL_OBJ(sem, K_OBJ_SEM)); z_impl_k_sem_give(sem); } -#include +#include #endif int z_impl_k_sem_take(struct k_sem *sem, k_timeout_t timeout) @@ -191,21 +191,21 @@ static inline int z_vrfy_k_sem_take(struct k_sem *sem, k_timeout_t timeout) Z_OOPS(Z_SYSCALL_OBJ(sem, K_OBJ_SEM)); return z_impl_k_sem_take((struct k_sem *)sem, timeout); } -#include +#include static inline void z_vrfy_k_sem_reset(struct k_sem *sem) { Z_OOPS(Z_SYSCALL_OBJ(sem, K_OBJ_SEM)); z_impl_k_sem_reset(sem); } -#include +#include static inline unsigned int z_vrfy_k_sem_count_get(struct k_sem *sem) { Z_OOPS(Z_SYSCALL_OBJ(sem, K_OBJ_SEM)); return z_impl_k_sem_count_get(sem); } -#include +#include #endif diff --git a/kernel/stack.c b/kernel/stack.c index 0362ece76b54ed8..977ce7ded93c9bd 100644 --- a/kernel/stack.c +++ b/kernel/stack.c @@ -68,7 +68,7 @@ static inline int32_t z_vrfy_k_stack_alloc_init(struct k_stack *stack, Z_OOPS(Z_SYSCALL_VERIFY(num_entries > 0)); return z_impl_k_stack_alloc_init(stack, num_entries); } -#include +#include #endif int k_stack_cleanup(struct k_stack *stack) @@ -136,7 +136,7 @@ static inline int z_vrfy_k_stack_push(struct k_stack *stack, stack_data_t data) return z_impl_k_stack_push(stack, data); } -#include +#include #endif int z_impl_k_stack_pop(struct k_stack *stack, stack_data_t *data, @@ -191,7 +191,7 @@ static inline int z_vrfy_k_stack_pop(struct k_stack *stack, Z_OOPS(Z_SYSCALL_MEMORY_WRITE(data, sizeof(stack_data_t))); return z_impl_k_stack_pop(stack, data, timeout); } -#include +#include #endif #ifdef CONFIG_OBJ_CORE_STACK diff --git a/kernel/thread.c b/kernel/thread.c index 2703116aca56048..c5c005faf6baeec 100644 --- a/kernel/thread.c +++ b/kernel/thread.c @@ -182,7 +182,7 @@ static inline void z_vrfy_k_thread_custom_data_set(void *data) { z_impl_k_thread_custom_data_set(data); } -#include +#include #endif void *z_impl_k_thread_custom_data_get(void) @@ -195,7 +195,7 @@ static inline void *z_vrfy_k_thread_custom_data_get(void) { return z_impl_k_thread_custom_data_get(); } -#include +#include #endif /* CONFIG_USERSPACE */ #endif /* CONFIG_THREAD_CUSTOM_DATA */ @@ -275,7 +275,7 @@ static inline int z_vrfy_k_thread_name_set(struct k_thread *thread, const char * return -ENOSYS; #endif /* CONFIG_THREAD_NAME */ } -#include +#include #endif /* CONFIG_USERSPACE */ const char *k_thread_name_get(struct k_thread *thread) @@ -385,7 +385,7 @@ static inline int z_vrfy_k_thread_name_copy(k_tid_t thread, return -ENOSYS; #endif /* CONFIG_THREAD_NAME */ } -#include +#include #endif /* CONFIG_USERSPACE */ @@ -436,7 +436,7 @@ static inline void z_vrfy_k_thread_start(struct k_thread *thread) Z_OOPS(Z_SYSCALL_OBJ(thread, K_OBJ_THREAD)); return z_impl_k_thread_start(thread); } -#include +#include #endif #endif @@ -782,7 +782,7 @@ k_tid_t z_vrfy_k_thread_create(struct k_thread *new_thread, return new_thread; } -#include +#include #endif /* CONFIG_USERSPACE */ #endif /* CONFIG_MULTITHREADING */ @@ -969,7 +969,7 @@ static inline int z_vrfy_k_float_disable(struct k_thread *thread) Z_OOPS(Z_SYSCALL_OBJ(thread, K_OBJ_THREAD)); return z_impl_k_float_disable(thread); } -#include +#include #endif /* CONFIG_USERSPACE */ #ifdef CONFIG_IRQ_OFFLOAD @@ -1077,7 +1077,7 @@ int z_vrfy_k_thread_stack_space_get(const struct k_thread *thread, return 0; } -#include +#include #endif /* CONFIG_USERSPACE */ #endif /* CONFIG_INIT_STACKS && CONFIG_THREAD_STACK_INFO */ @@ -1088,7 +1088,7 @@ static inline k_ticks_t z_vrfy_k_thread_timeout_remaining_ticks( Z_OOPS(Z_SYSCALL_OBJ(t, K_OBJ_THREAD)); return z_impl_k_thread_timeout_remaining_ticks(t); } -#include +#include static inline k_ticks_t z_vrfy_k_thread_timeout_expires_ticks( const struct k_thread *t) @@ -1096,7 +1096,7 @@ static inline k_ticks_t z_vrfy_k_thread_timeout_expires_ticks( Z_OOPS(Z_SYSCALL_OBJ(t, K_OBJ_THREAD)); return z_impl_k_thread_timeout_expires_ticks(t); } -#include +#include #endif #ifdef CONFIG_INSTRUMENT_THREAD_SWITCHING diff --git a/kernel/timeout.c b/kernel/timeout.c index 339bc65a014dd0d..50d5b33788cc095 100644 --- a/kernel/timeout.c +++ b/kernel/timeout.c @@ -32,7 +32,7 @@ static inline int z_vrfy_sys_clock_hw_cycles_per_sec_runtime_get(void) { return z_impl_sys_clock_hw_cycles_per_sec_runtime_get(); } -#include +#include #endif /* CONFIG_USERSPACE */ #endif /* CONFIG_TIMER_READS_ITS_FREQUENCY_AT_RUNTIME */ @@ -286,7 +286,7 @@ static inline int64_t z_vrfy_k_uptime_ticks(void) { return z_impl_k_uptime_ticks(); } -#include +#include #endif k_timepoint_t sys_timepoint_calc(k_timeout_t timeout) diff --git a/kernel/timer.c b/kernel/timer.c index 24fe71c7f67ef49..5dc31faa2de9425 100644 --- a/kernel/timer.c +++ b/kernel/timer.c @@ -178,7 +178,7 @@ static inline void z_vrfy_k_timer_start(struct k_timer *timer, Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); z_impl_k_timer_start(timer, duration, period); } -#include +#include #endif void z_impl_k_timer_stop(struct k_timer *timer) @@ -211,7 +211,7 @@ static inline void z_vrfy_k_timer_stop(struct k_timer *timer) Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); z_impl_k_timer_stop(timer); } -#include +#include #endif uint32_t z_impl_k_timer_status_get(struct k_timer *timer) @@ -231,7 +231,7 @@ static inline uint32_t z_vrfy_k_timer_status_get(struct k_timer *timer) Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); return z_impl_k_timer_status_get(timer); } -#include +#include #endif uint32_t z_impl_k_timer_status_sync(struct k_timer *timer) @@ -299,7 +299,7 @@ static inline uint32_t z_vrfy_k_timer_status_sync(struct k_timer *timer) Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); return z_impl_k_timer_status_sync(timer); } -#include +#include static inline k_ticks_t z_vrfy_k_timer_remaining_ticks( const struct k_timer *timer) @@ -307,7 +307,7 @@ static inline k_ticks_t z_vrfy_k_timer_remaining_ticks( Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); return z_impl_k_timer_remaining_ticks(timer); } -#include +#include static inline k_ticks_t z_vrfy_k_timer_expires_ticks( const struct k_timer *timer) @@ -315,14 +315,14 @@ static inline k_ticks_t z_vrfy_k_timer_expires_ticks( Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); return z_impl_k_timer_expires_ticks(timer); } -#include +#include static inline void *z_vrfy_k_timer_user_data_get(const struct k_timer *timer) { Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); return z_impl_k_timer_user_data_get(timer); } -#include +#include static inline void z_vrfy_k_timer_user_data_set(struct k_timer *timer, void *user_data) @@ -330,7 +330,7 @@ static inline void z_vrfy_k_timer_user_data_set(struct k_timer *timer, Z_OOPS(Z_SYSCALL_OBJ(timer, K_OBJ_TIMER)); z_impl_k_timer_user_data_set(timer, user_data); } -#include +#include #endif diff --git a/kernel/userspace_handler.c b/kernel/userspace_handler.c index 5453bbcede497c2..e5183022a37bd66 100644 --- a/kernel/userspace_handler.c +++ b/kernel/userspace_handler.c @@ -64,7 +64,7 @@ static inline void z_vrfy_k_object_access_grant(const void *object, object)); z_thread_perms_set(ko, thread); } -#include +#include static inline void z_vrfy_k_object_release(const void *object) { @@ -75,16 +75,16 @@ static inline void z_vrfy_k_object_release(const void *object) (void *)object)); z_thread_perms_clear(ko, _current); } -#include +#include static inline void *z_vrfy_k_object_alloc(enum k_objects otype) { return z_impl_k_object_alloc(otype); } -#include +#include static inline void *z_vrfy_k_object_alloc_size(enum k_objects otype, size_t size) { return z_impl_k_object_alloc_size(otype, size); } -#include +#include diff --git a/lib/libc/arcmwdt/libc-hooks.c b/lib/libc/arcmwdt/libc-hooks.c index b7ee5f90a81b3a0..27aa0f4c76ec5d5 100644 --- a/lib/libc/arcmwdt/libc-hooks.c +++ b/lib/libc/arcmwdt/libc-hooks.c @@ -59,7 +59,7 @@ static inline int z_vrfy_zephyr_write_stdout(const void *buf, int nbytes) Z_OOPS(Z_SYSCALL_MEMORY_READ(buf, nbytes)); return z_impl_zephyr_write_stdout(buf, nbytes); } -#include +#include #endif #ifndef CONFIG_POSIX_API diff --git a/lib/libc/minimal/source/stdout/stdout_console.c b/lib/libc/minimal/source/stdout/stdout_console.c index 8db7528497efa89..88c68158a878e36 100644 --- a/lib/libc/minimal/source/stdout/stdout_console.c +++ b/lib/libc/minimal/source/stdout/stdout_console.c @@ -35,7 +35,7 @@ static inline int z_vrfy_zephyr_fputc(int c, FILE *stream) { return z_impl_zephyr_fputc(c, stream); } -#include +#include #endif int fputc(int c, FILE *stream) @@ -105,7 +105,7 @@ static inline size_t z_vrfy_zephyr_fwrite(const void *ZRESTRICT ptr, return z_impl_zephyr_fwrite((const void *ZRESTRICT)ptr, size, nitems, (FILE *ZRESTRICT)stream); } -#include +#include #endif size_t fwrite(const void *ZRESTRICT ptr, size_t size, size_t nitems, diff --git a/lib/libc/newlib/libc-hooks.c b/lib/libc/newlib/libc-hooks.c index 1769e32dc14053f..d9c94959826cbe0 100644 --- a/lib/libc/newlib/libc-hooks.c +++ b/lib/libc/newlib/libc-hooks.c @@ -184,7 +184,7 @@ static inline int z_vrfy_zephyr_read_stdin(char *buf, int nbytes) Z_OOPS(Z_SYSCALL_MEMORY_WRITE(buf, nbytes)); return z_impl_zephyr_read_stdin((char *)buf, nbytes); } -#include +#include #endif int z_impl_zephyr_write_stdout(const void *buffer, int nbytes) @@ -207,7 +207,7 @@ static inline int z_vrfy_zephyr_write_stdout(const void *buf, int nbytes) Z_OOPS(Z_SYSCALL_MEMORY_READ(buf, nbytes)); return z_impl_zephyr_write_stdout((const void *)buf, nbytes); } -#include +#include #endif #ifndef CONFIG_POSIX_API diff --git a/lib/libc/picolibc/libc-hooks.c b/lib/libc/picolibc/libc-hooks.c index 8df622c492cc90d..f3c48442f030a78 100644 --- a/lib/libc/picolibc/libc-hooks.c +++ b/lib/libc/picolibc/libc-hooks.c @@ -39,7 +39,7 @@ static inline int z_vrfy_zephyr_fputc(int c, FILE *stream) { return z_impl_zephyr_fputc(c, stream); } -#include +#include #endif static int picolibc_put(char a, FILE *f) diff --git a/lib/os/mutex.c b/lib/os/mutex.c index 3cd84612a228d03..df78345ceee9f9e 100644 --- a/lib/os/mutex.c +++ b/lib/os/mutex.c @@ -50,7 +50,7 @@ static inline int z_vrfy_z_sys_mutex_kernel_lock(struct sys_mutex *mutex, return z_impl_z_sys_mutex_kernel_lock(mutex, timeout); } -#include +#include int z_impl_z_sys_mutex_kernel_unlock(struct sys_mutex *mutex) { @@ -71,4 +71,4 @@ static inline int z_vrfy_z_sys_mutex_kernel_unlock(struct sys_mutex *mutex) return z_impl_z_sys_mutex_kernel_unlock(mutex); } -#include +#include diff --git a/lib/os/printk.c b/lib/os/printk.c index 0701f8a3a6feadf..92bb539ff056931 100644 --- a/lib/os/printk.c +++ b/lib/os/printk.c @@ -177,7 +177,7 @@ static inline void z_vrfy_k_str_out(char *c, size_t n) Z_OOPS(Z_SYSCALL_MEMORY_READ(c, n)); z_impl_k_str_out((char *)c, n); } -#include +#include #endif /* CONFIG_USERSPACE */ /** diff --git a/lib/posix/clock.c b/lib/posix/clock.c index 51812ed53bc65e1..eb90a92c5411820 100644 --- a/lib/posix/clock.c +++ b/lib/posix/clock.c @@ -71,7 +71,7 @@ int z_vrfy_clock_gettime(clockid_t clock_id, struct timespec *ts) Z_OOPS(Z_SYSCALL_MEMORY_WRITE(ts, sizeof(*ts))); return z_impl_clock_gettime(clock_id, ts); } -#include +#include #endif /** diff --git a/samples/userspace/prod_consumer/src/app_syscall.c b/samples/userspace/prod_consumer/src/app_syscall.c index 0f66c54c159b690..146b33b09a54ad0 100644 --- a/samples/userspace/prod_consumer/src/app_syscall.c +++ b/samples/userspace/prod_consumer/src/app_syscall.c @@ -54,4 +54,4 @@ static int z_vrfy_magic_syscall(unsigned int *cookie) return ret; } -#include +#include diff --git a/samples/userspace/prod_consumer/src/app_syscall.h b/samples/userspace/prod_consumer/src/app_syscall.h index 7a6d1ff19b6c8ed..cda913ac6c58895 100644 --- a/samples/userspace/prod_consumer/src/app_syscall.h +++ b/samples/userspace/prod_consumer/src/app_syscall.h @@ -8,6 +8,6 @@ __syscall int magic_syscall(unsigned int *cookie); -#include +#include #endif /* MAGIC_SYSCALL_H */ diff --git a/samples/userspace/prod_consumer/src/sample_driver.h b/samples/userspace/prod_consumer/src/sample_driver.h index 0f5eaecee5d4052..88329313434aa58 100644 --- a/samples/userspace/prod_consumer/src/sample_driver.h +++ b/samples/userspace/prod_consumer/src/sample_driver.h @@ -86,6 +86,6 @@ static inline int sample_driver_set_callback(const struct device *dev, return api->set_callback(dev, cb, context); } -#include +#include #endif diff --git a/samples/userspace/prod_consumer/src/sample_driver_handlers.c b/samples/userspace/prod_consumer/src/sample_driver_handlers.c index 8531b2b88f3d732..30769b3ce97c0d4 100644 --- a/samples/userspace/prod_consumer/src/sample_driver_handlers.c +++ b/samples/userspace/prod_consumer/src/sample_driver_handlers.c @@ -17,7 +17,7 @@ int z_vrfy_sample_driver_state_set(const struct device *dev, bool active) return z_impl_sample_driver_state_set(dev, active); } -#include +#include int z_vrfy_sample_driver_write(const struct device *dev, void *buf) { @@ -31,4 +31,4 @@ int z_vrfy_sample_driver_write(const struct device *dev, void *buf) return z_impl_sample_driver_write(dev, buf); } -#include +#include diff --git a/scripts/build/gen_syscalls.py b/scripts/build/gen_syscalls.py index 5bc076d8a6592a3..686db4afe734a48 100755 --- a/scripts/build/gen_syscalls.py +++ b/scripts/build/gen_syscalls.py @@ -447,7 +447,7 @@ def main(): if mrsh and to_emit: syscall = typename_split(match_group[0])[1] mrsh_defs[syscall] = mrsh - mrsh_includes[syscall] = "#include " % fn + mrsh_includes[syscall] = "#include " % fn with open(args.syscall_dispatch, "w") as fp: table_entries.append("[K_SYSCALL_BAD] = handler_bad_syscall") diff --git a/subsys/logging/log_core.c b/subsys/logging/log_core.c index 7ba2cde3c779dcb..959f197aba0332f 100644 --- a/subsys/logging/log_core.c +++ b/subsys/logging/log_core.c @@ -411,7 +411,7 @@ void z_vrfy_log_panic(void) { z_impl_log_panic(); } -#include +#include #endif static bool msg_filter_check(struct log_backend const *backend, @@ -549,7 +549,7 @@ bool z_vrfy_log_process(void) { return z_impl_log_process(); } -#include +#include #endif uint32_t z_impl_log_buffered_cnt(void) @@ -562,7 +562,7 @@ uint32_t z_vrfy_log_buffered_cnt(void) { return z_impl_log_buffered_cnt(); } -#include +#include #endif void z_log_dropped(bool buffered) diff --git a/subsys/logging/log_mgmt.c b/subsys/logging/log_mgmt.c index 08de43165bcd4a3..67d2ef562c3dee2 100644 --- a/subsys/logging/log_mgmt.c +++ b/subsys/logging/log_mgmt.c @@ -461,7 +461,7 @@ uint32_t z_vrfy_log_filter_set(struct log_backend const *const backend, return z_impl_log_filter_set(NULL, domain_id, src_id, level); } -#include +#include #endif static void link_filter_set(const struct log_link *link, diff --git a/subsys/logging/log_msg.c b/subsys/logging/log_msg.c index 3756d52480d9830..8f45f1e26f23e06 100644 --- a/subsys/logging/log_msg.c +++ b/subsys/logging/log_msg.c @@ -102,7 +102,7 @@ static inline void z_vrfy_z_log_msg_static_create(const void *source, { return z_impl_z_log_msg_static_create(source, desc, package, data); } -#include +#include #endif void z_impl_z_log_msg_runtime_vcreate(uint8_t domain_id, const void *source, @@ -164,5 +164,5 @@ static inline void z_vrfy_z_log_msg_runtime_vcreate(uint8_t domain_id, return z_impl_z_log_msg_runtime_vcreate(domain_id, source, level, data, dlen, package_flags, fmt, ap); } -#include +#include #endif diff --git a/subsys/mgmt/mcumgr/transport/src/smp_shell.c b/subsys/mgmt/mcumgr/transport/src/smp_shell.c index c30874070bac02b..a39d9437519aba1 100644 --- a/subsys/mgmt/mcumgr/transport/src/smp_shell.c +++ b/subsys/mgmt/mcumgr/transport/src/smp_shell.c @@ -19,7 +19,7 @@ #include #include #include -#include +#include #include #include diff --git a/subsys/mgmt/updatehub/updatehub_handlers.c b/subsys/mgmt/updatehub/updatehub_handlers.c index 33a0d4acac6f83a..7d12df21828beae 100644 --- a/subsys/mgmt/updatehub/updatehub_handlers.c +++ b/subsys/mgmt/updatehub/updatehub_handlers.c @@ -12,28 +12,28 @@ static inline void z_vrfy_updatehub_autohandler(void) { z_impl_updatehub_autohandler(); } -#include +#include static inline enum updatehub_response z_vrfy_updatehub_probe(void) { return z_impl_updatehub_probe(); } -#include +#include static inline enum updatehub_response z_vrfy_updatehub_update(void) { return z_impl_updatehub_update(); } -#include +#include static inline int z_vrfy_updatehub_confirm(void) { return z_impl_updatehub_confirm(); } -#include +#include static inline int z_vrfy_updatehub_reboot(void) { return z_impl_updatehub_reboot(); } -#include +#include diff --git a/subsys/net/ip/net_if.c b/subsys/net/ip/net_if.c index 1a84d07e926e4a6..c8a31f3456ff3ac 100644 --- a/subsys/net/ip/net_if.c +++ b/subsys/net/ip/net_if.c @@ -165,7 +165,7 @@ struct net_if *z_vrfy_net_if_get_by_index(int index) return iface; } -#include +#include #endif static inline void net_context_send_cb(struct net_context *context, @@ -1593,7 +1593,7 @@ static inline int z_vrfy_net_if_ipv6_addr_lookup_by_index( return z_impl_net_if_ipv6_addr_lookup_by_index(&addr_v6); } -#include +#include #endif static void address_expired(struct net_if_addr *ifaddr) @@ -1937,7 +1937,7 @@ bool z_vrfy_net_if_ipv6_addr_add_by_index(int index, vlifetime); } -#include +#include #endif /* CONFIG_USERSPACE */ bool z_impl_net_if_ipv6_addr_rm_by_index(int index, @@ -1970,7 +1970,7 @@ bool z_vrfy_net_if_ipv6_addr_rm_by_index(int index, return z_impl_net_if_ipv6_addr_rm_by_index(index, &addr_v6); } -#include +#include #endif /* CONFIG_USERSPACE */ void net_if_ipv6_addr_foreach(struct net_if *iface, net_if_ip_addr_cb_t cb, @@ -3530,7 +3530,7 @@ static inline int z_vrfy_net_if_ipv4_addr_lookup_by_index( return z_impl_net_if_ipv4_addr_lookup_by_index(&addr_v4); } -#include +#include #endif void net_if_ipv4_set_netmask(struct net_if *iface, @@ -3584,7 +3584,7 @@ bool z_vrfy_net_if_ipv4_set_netmask_by_index(int index, return z_impl_net_if_ipv4_set_netmask_by_index(index, &netmask_addr); } -#include +#include #endif /* CONFIG_USERSPACE */ void net_if_ipv4_set_gw(struct net_if *iface, const struct in_addr *gw) @@ -3636,7 +3636,7 @@ bool z_vrfy_net_if_ipv4_set_gw_by_index(int index, return z_impl_net_if_ipv4_set_gw_by_index(index, &gw_addr); } -#include +#include #endif /* CONFIG_USERSPACE */ static struct net_if_addr *ipv4_addr_find(struct net_if *iface, @@ -3813,7 +3813,7 @@ bool z_vrfy_net_if_ipv4_addr_add_by_index(int index, vlifetime); } -#include +#include #endif /* CONFIG_USERSPACE */ bool z_impl_net_if_ipv4_addr_rm_by_index(int index, @@ -3846,7 +3846,7 @@ bool z_vrfy_net_if_ipv4_addr_rm_by_index(int index, return (uint32_t)z_impl_net_if_ipv4_addr_rm_by_index(index, &addr_v4); } -#include +#include #endif /* CONFIG_USERSPACE */ void net_if_ipv4_addr_foreach(struct net_if *iface, net_if_ip_addr_cb_t cb, diff --git a/subsys/net/ip/utils.c b/subsys/net/ip/utils.c index f71aa65936e0711..0bfba8db5398a08 100644 --- a/subsys/net/ip/utils.c +++ b/subsys/net/ip/utils.c @@ -312,7 +312,7 @@ char *z_vrfy_net_addr_ntop(sa_family_t family, const void *src, return dst; } -#include +#include #endif /* CONFIG_USERSPACE */ int z_impl_net_addr_pton(sa_family_t family, const char *src, @@ -484,7 +484,7 @@ int z_vrfy_net_addr_pton(sa_family_t family, const char *src, return 0; } -#include +#include #endif /* CONFIG_USERSPACE */ diff --git a/subsys/net/l2/ethernet/ethernet.c b/subsys/net/l2/ethernet/ethernet.c index c62c986d83863f6..b271bc701d624f6 100644 --- a/subsys/net/l2/ethernet/ethernet.c +++ b/subsys/net/l2/ethernet/ethernet.c @@ -1152,7 +1152,7 @@ static inline const struct device *z_vrfy_net_eth_get_ptp_clock_by_index(int ind { return z_impl_net_eth_get_ptp_clock_by_index(index); } -#include +#include #endif /* CONFIG_USERSPACE */ #else /* CONFIG_PTP_CLOCK */ const struct device *z_impl_net_eth_get_ptp_clock_by_index(int index) diff --git a/subsys/net/lib/sockets/getaddrinfo.c b/subsys/net/lib/sockets/getaddrinfo.c index 2a499dcebb04773..f0028748fe3754f 100644 --- a/subsys/net/lib/sockets/getaddrinfo.c +++ b/subsys/net/lib/sockets/getaddrinfo.c @@ -311,7 +311,7 @@ static inline int z_vrfy_z_zsock_getaddrinfo_internal(const char *host, return ret; } -#include +#include #endif /* CONFIG_USERSPACE */ #endif /* defined(CONFIG_DNS_RESOLVER) */ diff --git a/subsys/net/lib/sockets/socketpair.c b/subsys/net/lib/sockets/socketpair.c index 9207f4b659e235d..ccf93bec8a39ae8 100644 --- a/subsys/net/lib/sockets/socketpair.c +++ b/subsys/net/lib/sockets/socketpair.c @@ -357,7 +357,7 @@ int z_vrfy_zsock_socketpair(int family, int type, int proto, int *sv) return ret; } -#include +#include #endif /* CONFIG_USERSPACE */ /** diff --git a/subsys/net/lib/sockets/sockets.c b/subsys/net/lib/sockets/sockets.c index 14d00581c97604c..c4fb5616a4febac 100644 --- a/subsys/net/lib/sockets/sockets.c +++ b/subsys/net/lib/sockets/sockets.c @@ -110,7 +110,7 @@ void *z_vrfy_zsock_get_context_object(int sock) return z_impl_zsock_get_context_object(sock); } -#include +#include #endif static void zsock_received_cb(struct net_context *ctx, @@ -243,7 +243,7 @@ static inline int z_vrfy_zsock_socket(int family, int type, int proto) */ return z_impl_zsock_socket(family, type, proto); } -#include +#include #endif /* CONFIG_USERSPACE */ int zsock_close_ctx(struct net_context *ctx) @@ -300,7 +300,7 @@ static inline int z_vrfy_zsock_close(int sock) { return z_impl_zsock_close(sock); } -#include +#include #endif /* CONFIG_USERSPACE */ int z_impl_zsock_shutdown(int sock, int how) @@ -337,7 +337,7 @@ static inline int z_vrfy_zsock_shutdown(int sock, int how) { return z_impl_zsock_shutdown(sock, how); } -#include +#include #endif /* CONFIG_USERSPACE */ static void zsock_accepted_cb(struct net_context *new_ctx, @@ -479,7 +479,7 @@ static inline int z_vrfy_zsock_bind(int sock, const struct sockaddr *addr, return z_impl_zsock_bind(sock, (struct sockaddr *)&dest_addr_copy, addrlen); } -#include +#include #endif /* CONFIG_USERSPACE */ static void zsock_connected_cb(struct net_context *ctx, int status, void *user_data) @@ -558,7 +558,7 @@ int z_vrfy_zsock_connect(int sock, const struct sockaddr *addr, return z_impl_zsock_connect(sock, (struct sockaddr *)&dest_addr_copy, addrlen); } -#include +#include #endif /* CONFIG_USERSPACE */ int zsock_listen_ctx(struct net_context *ctx, int backlog) @@ -579,7 +579,7 @@ static inline int z_vrfy_zsock_listen(int sock, int backlog) { return z_impl_zsock_listen(sock, backlog); } -#include +#include #endif /* CONFIG_USERSPACE */ int zsock_accept_ctx(struct net_context *parent, struct sockaddr *addr, @@ -690,7 +690,7 @@ static inline int z_vrfy_zsock_accept(int sock, struct sockaddr *addr, return ret; } -#include +#include #endif /* CONFIG_USERSPACE */ #define WAIT_BUFS_INITIAL_MS 10 @@ -852,7 +852,7 @@ ssize_t z_vrfy_zsock_sendto(int sock, const void *buf, size_t len, int flags, dest_addr ? (struct sockaddr *)&dest_addr_copy : NULL, addrlen); } -#include +#include #endif /* CONFIG_USERSPACE */ size_t msghdr_non_empty_iov_count(const struct msghdr *msg) @@ -1000,7 +1000,7 @@ static inline ssize_t z_vrfy_zsock_sendmsg(int sock, return -1; } -#include +#include #endif /* CONFIG_USERSPACE */ static int sock_get_pkt_src_addr(struct net_pkt *pkt, @@ -1503,7 +1503,7 @@ ssize_t z_vrfy_zsock_recvfrom(int sock, void *buf, size_t max_len, int flags, return ret; } -#include +#include #endif /* CONFIG_USERSPACE */ /* As this is limited function, we don't follow POSIX signature, with @@ -1537,7 +1537,7 @@ static inline int z_vrfy_zsock_fcntl(int sock, int cmd, int flags) { return z_impl_zsock_fcntl(sock, cmd, flags); } -#include +#include #endif int z_impl_zsock_ioctl(int sock, unsigned long request, va_list args) @@ -1588,7 +1588,7 @@ static inline int z_vrfy_zsock_ioctl(int sock, unsigned long request, va_list ar return z_impl_zsock_ioctl(sock, request, args); } -#include +#include #endif static int zsock_poll_prepare_ctx(struct net_context *ctx, @@ -1888,7 +1888,7 @@ static inline int z_vrfy_zsock_poll(struct zsock_pollfd *fds, return ret; } -#include +#include #endif int z_impl_zsock_inet_pton(sa_family_t family, const char *src, void *dst) @@ -1927,7 +1927,7 @@ static inline int z_vrfy_zsock_inet_pton(sa_family_t family, return ret; } -#include +#include #endif int zsock_getsockopt_ctx(struct net_context *ctx, int level, int optname, @@ -2128,7 +2128,7 @@ int z_vrfy_zsock_getsockopt(int sock, int level, int optname, return ret; } -#include +#include #endif /* CONFIG_USERSPACE */ int zsock_setsockopt_ctx(struct net_context *ctx, int level, int optname, @@ -2459,7 +2459,7 @@ int z_vrfy_zsock_setsockopt(int sock, int level, int optname, return ret; } -#include +#include #endif /* CONFIG_USERSPACE */ int zsock_getpeername_ctx(struct net_context *ctx, struct sockaddr *addr, @@ -2543,7 +2543,7 @@ static inline int z_vrfy_zsock_getpeername(int sock, struct sockaddr *addr, return ret; } -#include +#include #endif /* CONFIG_USERSPACE */ int zsock_getsockname_ctx(struct net_context *ctx, struct sockaddr *addr, @@ -2622,7 +2622,7 @@ static inline int z_vrfy_zsock_getsockname(int sock, struct sockaddr *addr, return ret; } -#include +#include #endif /* CONFIG_USERSPACE */ static ssize_t sock_read_vmeth(void *obj, void *buffer, size_t count) diff --git a/subsys/net/lib/sockets/sockets_misc.c b/subsys/net/lib/sockets/sockets_misc.c index 9729fca19fbeeb6..d0a5678e15c98bc 100644 --- a/subsys/net/lib/sockets/sockets_misc.c +++ b/subsys/net/lib/sockets/sockets_misc.c @@ -23,5 +23,5 @@ static inline int z_vrfy_zsock_gethostname(char *buf, size_t len) Z_OOPS(Z_SYSCALL_MEMORY_WRITE(buf, len)); return z_impl_zsock_gethostname(buf, len); } -#include +#include #endif diff --git a/subsys/net/lib/sockets/sockets_select.c b/subsys/net/lib/sockets/sockets_select.c index c6d110bad07a966..7acad60fc61be78 100644 --- a/subsys/net/lib/sockets/sockets_select.c +++ b/subsys/net/lib/sockets/sockets_select.c @@ -279,5 +279,5 @@ static int z_vrfy_zsock_select(int nfds, zsock_fd_set *readfds, return ret; } -#include +#include #endif diff --git a/subsys/random/rand32_handlers.c b/subsys/random/rand32_handlers.c index 52130110be73133..303ae51f1079819 100644 --- a/subsys/random/rand32_handlers.c +++ b/subsys/random/rand32_handlers.c @@ -12,7 +12,7 @@ static inline uint32_t z_vrfy_sys_rand32_get(void) { return z_impl_sys_rand32_get(); } -#include +#include static inline void z_vrfy_sys_rand_get(void *dst, size_t len) { @@ -20,7 +20,7 @@ static inline void z_vrfy_sys_rand_get(void *dst, size_t len) z_impl_sys_rand_get(dst, len); } -#include +#include #ifdef CONFIG_CSPRNG_ENABLED static inline int z_vrfy_sys_csrand_get(void *dst, size_t len) @@ -29,5 +29,5 @@ static inline int z_vrfy_sys_csrand_get(void *dst, size_t len) return z_impl_sys_csrand_get(dst, len); } -#include +#include #endif diff --git a/subsys/rtio/rtio_handlers.c b/subsys/rtio/rtio_handlers.c index 3be7f2f9f86b01e..58b127d6408f19b 100644 --- a/subsys/rtio/rtio_handlers.c +++ b/subsys/rtio/rtio_handlers.c @@ -57,7 +57,7 @@ static inline void z_vrfy_rtio_release_buffer(struct rtio *r, void *buff, uint32 Z_OOPS(Z_SYSCALL_OBJ(r, K_OBJ_RTIO)); z_impl_rtio_release_buffer(r, buff, buff_len); } -#include +#include static inline int z_vrfy_rtio_cqe_get_mempool_buffer(const struct rtio *r, struct rtio_cqe *cqe, uint8_t **buff, uint32_t *buff_len) @@ -68,13 +68,13 @@ static inline int z_vrfy_rtio_cqe_get_mempool_buffer(const struct rtio *r, struc Z_OOPS(Z_SYSCALL_MEMORY_READ(buff_len, sizeof(uint32_t))); return z_impl_rtio_cqe_get_mempool_buffer(r, cqe, buff, buff_len); } -#include +#include static inline int z_vrfy_rtio_sqe_cancel(struct rtio_sqe *sqe) { return z_impl_rtio_sqe_cancel(sqe); } -#include +#include static inline int z_vrfy_rtio_sqe_copy_in_get_handles(struct rtio *r, const struct rtio_sqe *sqes, struct rtio_sqe **handle, size_t sqe_count) @@ -107,7 +107,7 @@ static inline int z_vrfy_rtio_sqe_copy_in_get_handles(struct rtio *r, const stru /* Already copied *and* verified, no need to redo */ return z_impl_rtio_sqe_copy_in_get_handles(r, NULL, NULL, 0); } -#include +#include static inline int z_vrfy_rtio_cqe_copy_out(struct rtio *r, struct rtio_cqe *cqes, @@ -120,7 +120,7 @@ static inline int z_vrfy_rtio_cqe_copy_out(struct rtio *r, return z_impl_rtio_cqe_copy_out(r, cqes, cqe_count, timeout); } -#include +#include static inline int z_vrfy_rtio_submit(struct rtio *r, uint32_t wait_count) { @@ -132,4 +132,4 @@ static inline int z_vrfy_rtio_submit(struct rtio *r, uint32_t wait_count) return z_impl_rtio_submit(r, wait_count); } -#include +#include diff --git a/subsys/testsuite/ztest/include/zephyr/ztest_error_hook.h b/subsys/testsuite/ztest/include/zephyr/ztest_error_hook.h index 6ebee086fc86644..5d6ac64a9c1bdbb 100644 --- a/subsys/testsuite/ztest/include/zephyr/ztest_error_hook.h +++ b/subsys/testsuite/ztest/include/zephyr/ztest_error_hook.h @@ -76,7 +76,7 @@ void ztest_post_assert_fail_hook(void); #endif #if defined(CONFIG_ZTEST_FATAL_HOOK) || defined(CONFIG_ZTEST_ASSERT_HOOK) -#include +#include #endif #endif /* ZEPHYR_INCLUDE_ZTEST_FATAL_HOOK_H_ */ diff --git a/subsys/testsuite/ztest/include/zephyr/ztest_test.h b/subsys/testsuite/ztest/include/zephyr/ztest_test.h index b9635560c02cf41..b68b538385d53ee 100644 --- a/subsys/testsuite/ztest/include/zephyr/ztest_test.h +++ b/subsys/testsuite/ztest/include/zephyr/ztest_test.h @@ -28,7 +28,7 @@ __syscall void sys_clock_tick_set(uint64_t tick); #endif #ifndef ZTEST_UNITTEST -#include +#include #endif #endif /* ZEPHYR_TESTSUITE_INCLUDE_ZTEST_TEST_H_ */ diff --git a/subsys/testsuite/ztest/include/zephyr/ztest_test_new.h b/subsys/testsuite/ztest/include/zephyr/ztest_test_new.h index e676bf7d3d8719e..14b7b7803e38372 100644 --- a/subsys/testsuite/ztest/include/zephyr/ztest_test_new.h +++ b/subsys/testsuite/ztest/include/zephyr/ztest_test_new.h @@ -297,7 +297,7 @@ __syscall void __ztest_set_test_phase(enum ztest_phase new_phase); #endif #ifndef ZTEST_UNITTEST -#include +#include #endif /** diff --git a/subsys/testsuite/ztest/src/ztest.c b/subsys/testsuite/ztest/src/ztest.c index 04e16b97f927d3c..5ed272e3584a096 100644 --- a/subsys/testsuite/ztest/src/ztest.c +++ b/subsys/testsuite/ztest/src/ztest.c @@ -182,13 +182,13 @@ void z_vrfy_z_test_1cpu_start(void) { z_impl_z_test_1cpu_start(); } -#include +#include void z_vrfy_z_test_1cpu_stop(void) { z_impl_z_test_1cpu_stop(); } -#include +#include #endif /* CONFIG_USERSPACE */ #endif diff --git a/subsys/testsuite/ztest/src/ztest_error_hook.c b/subsys/testsuite/ztest/src/ztest_error_hook.c index e0a92077b0e139b..33cffa9cca52573 100644 --- a/subsys/testsuite/ztest/src/ztest_error_hook.c +++ b/subsys/testsuite/ztest/src/ztest_error_hook.c @@ -38,7 +38,7 @@ static inline void z_vrfy_ztest_set_fault_valid(bool valid) { z_impl_ztest_set_fault_valid(valid); } -#include +#include #endif __weak void ztest_post_fatal_error_hook(unsigned int reason, @@ -100,7 +100,7 @@ static inline void z_vrfy_ztest_set_assert_valid(bool valid) { z_impl_ztest_set_assert_valid(valid); } -#include +#include #endif __weak void ztest_post_assert_fail_hook(void) diff --git a/subsys/testsuite/ztest/src/ztest_new.c b/subsys/testsuite/ztest/src/ztest_new.c index b100921ab21ac28..244fc0a25883ad1 100644 --- a/subsys/testsuite/ztest/src/ztest_new.c +++ b/subsys/testsuite/ztest/src/ztest_new.c @@ -185,10 +185,10 @@ void z_impl_z_test_1cpu_stop(void) #ifdef CONFIG_USERSPACE void z_vrfy_z_test_1cpu_start(void) { z_impl_z_test_1cpu_start(); } -#include +#include void z_vrfy_z_test_1cpu_stop(void) { z_impl_z_test_1cpu_stop(); } -#include +#include #endif /* CONFIG_USERSPACE */ #endif @@ -1016,13 +1016,13 @@ void z_vrfy___ztest_set_test_result(enum ztest_result new_result) { z_impl___ztest_set_test_result(new_result); } -#include +#include void z_vrfy___ztest_set_test_phase(enum ztest_phase new_phase) { z_impl___ztest_set_test_phase(new_phase); } -#include +#include #endif /* CONFIG_USERSPACE */ void ztest_verify_all_test_suites_ran(void) diff --git a/tests/arch/arm/arm_interrupt/src/arm_interrupt.c b/tests/arch/arm/arm_interrupt/src/arm_interrupt.c index 6ef95fb01852c73..144f61ca6b76adb 100644 --- a/tests/arch/arm/arm_interrupt/src/arm_interrupt.c +++ b/tests/arch/arm/arm_interrupt/src/arm_interrupt.c @@ -411,7 +411,7 @@ static inline void z_vrfy_test_arm_user_interrupt_syscall(void) { z_impl_test_arm_user_interrupt_syscall(); } -#include +#include ZTEST_USER(arm_interrupt, test_arm_user_interrupt) { diff --git a/tests/arch/arm/arm_interrupt/src/test_syscalls.h b/tests/arch/arm/arm_interrupt/src/test_syscalls.h index 5d85f7d4f87dd2b..1bef59e33aeaf9f 100644 --- a/tests/arch/arm/arm_interrupt/src/test_syscalls.h +++ b/tests/arch/arm/arm_interrupt/src/test_syscalls.h @@ -10,6 +10,6 @@ __syscall void test_arm_user_interrupt_syscall(void); -#include +#include #endif /* _TEST_SYSCALLS_H_ */ diff --git a/tests/arch/arm/arm_thread_swap/src/arm_syscalls.c b/tests/arch/arm/arm_thread_swap/src/arm_syscalls.c index ec642909573c63b..29027fbff3d03b5 100644 --- a/tests/arch/arm/arm_thread_swap/src/arm_syscalls.c +++ b/tests/arch/arm/arm_thread_swap/src/arm_syscalls.c @@ -66,7 +66,7 @@ static inline void z_vrfy_test_arm_user_syscall(void) { z_impl_test_arm_user_syscall(); } -#include +#include void arm_isr_handler(const void *args) @@ -267,7 +267,7 @@ static inline void z_vrfy_test_arm_cpu_write_reg(void) { z_impl_test_arm_cpu_write_reg(); } -#include +#include /** * @brief Test CPU scrubs registers after system call diff --git a/tests/arch/arm/arm_thread_swap/src/test_syscalls.h b/tests/arch/arm/arm_thread_swap/src/test_syscalls.h index 760ae3cbaa184d9..712db1670a4b402 100644 --- a/tests/arch/arm/arm_thread_swap/src/test_syscalls.h +++ b/tests/arch/arm/arm_thread_swap/src/test_syscalls.h @@ -11,6 +11,6 @@ __syscall void test_arm_user_syscall(void); __syscall void test_arm_cpu_write_reg(void); -#include +#include #endif /* _TEST_SYSCALLS_H_ */ diff --git a/tests/arch/x86/cpu_scrubs_regs/src/main.c b/tests/arch/x86/cpu_scrubs_regs/src/main.c index bddcc4f7929a822..7038efe643fd6ec 100644 --- a/tests/arch/x86/cpu_scrubs_regs/src/main.c +++ b/tests/arch/x86/cpu_scrubs_regs/src/main.c @@ -54,7 +54,7 @@ static inline void z_vrfy_test_cpu_write_reg(void) { z_impl_test_cpu_write_reg(); } -#include +#include /** * @brief Test CPU scrubs registers after system call diff --git a/tests/arch/x86/cpu_scrubs_regs/src/test_syscalls.h b/tests/arch/x86/cpu_scrubs_regs/src/test_syscalls.h index 105ded868adaee4..5b6817de8461639 100644 --- a/tests/arch/x86/cpu_scrubs_regs/src/test_syscalls.h +++ b/tests/arch/x86/cpu_scrubs_regs/src/test_syscalls.h @@ -10,6 +10,6 @@ __syscall void test_cpu_write_reg(void); -#include +#include #endif /* _TEST_SYSCALLS_H_ */ diff --git a/tests/arch/x86/pagetables/src/main.c b/tests/arch/x86/pagetables/src/main.c index aa3fde1fd9ffe71..e42c4e3494ec8f5 100644 --- a/tests/arch/x86/pagetables/src/main.c +++ b/tests/arch/x86/pagetables/src/main.c @@ -238,7 +238,7 @@ void z_vrfy_dump_my_ptables(void) { z_impl_dump_my_ptables(); } -#include +#include #endif /* CONFIG_USERSPACE */ void dump_pagetables(void) diff --git a/tests/arch/x86/pagetables/src/main.h b/tests/arch/x86/pagetables/src/main.h index 2a7fa3f28b70cda..7f7dd71f3224268 100644 --- a/tests/arch/x86/pagetables/src/main.h +++ b/tests/arch/x86/pagetables/src/main.h @@ -8,6 +8,6 @@ __syscall void dump_my_ptables(void); -#include +#include #endif diff --git a/tests/benchmarks/footprints/src/userspace.c b/tests/benchmarks/footprints/src/userspace.c index 231c427913700f8..ed7b9e3cb0eba35 100644 --- a/tests/benchmarks/footprints/src/userspace.c +++ b/tests/benchmarks/footprints/src/userspace.c @@ -32,7 +32,7 @@ static inline int z_vrfy_dummy_syscall(void) { return 0; } -#include +#include int z_impl_validation_overhead_syscall(void) { @@ -47,7 +47,7 @@ static inline int z_vrfy_validation_overhead_syscall(void) return status_0 || status_1; } -#include +#include void test_drop_to_user_mode_1(void *p1, void *p2, void *p3) diff --git a/tests/benchmarks/footprints/src/userspace.h b/tests/benchmarks/footprints/src/userspace.h index 5c682a3c57080d1..d85da725af588c0 100644 --- a/tests/benchmarks/footprints/src/userspace.h +++ b/tests/benchmarks/footprints/src/userspace.h @@ -10,6 +10,6 @@ __syscall int dummy_syscall(void); __syscall int validation_overhead_syscall(void); -#include +#include #endif /* _USERSPACE_H_ */ diff --git a/tests/kernel/fatal/exception/src/main.c b/tests/kernel/fatal/exception/src/main.c index 51b338183e6d61d..53b998546d4985f 100644 --- a/tests/kernel/fatal/exception/src/main.c +++ b/tests/kernel/fatal/exception/src/main.c @@ -221,7 +221,7 @@ static inline void z_vrfy_blow_up_priv_stack(void) { z_impl_blow_up_priv_stack(); } -#include +#include #endif /* CONFIG_USERSPACE */ #endif /* CONFIG_STACK_SENTINEL */ diff --git a/tests/kernel/fatal/exception/src/test_syscalls.h b/tests/kernel/fatal/exception/src/test_syscalls.h index 096547c35e83543..a3bf55630906e73 100644 --- a/tests/kernel/fatal/exception/src/test_syscalls.h +++ b/tests/kernel/fatal/exception/src/test_syscalls.h @@ -10,6 +10,6 @@ __syscall void blow_up_priv_stack(void); -#include +#include #endif /* _TEST_SYSCALLS_H_ */ diff --git a/tests/kernel/mem_protect/mem_protect/src/inherit.c b/tests/kernel/mem_protect/mem_protect/src/inherit.c index fc3cb736abe3d67..9cf0ba88882dac8 100644 --- a/tests/kernel/mem_protect/mem_protect/src/inherit.c +++ b/tests/kernel/mem_protect/mem_protect/src/inherit.c @@ -132,7 +132,7 @@ static inline struct k_heap *z_vrfy_ret_resource_pool_ptr(void) { return z_impl_ret_resource_pool_ptr(); } -#include +#include struct k_heap *child_heap_mem_ptr; struct k_heap *parent_heap_mem_ptr; diff --git a/tests/kernel/mem_protect/mem_protect/src/mem_protect.h b/tests/kernel/mem_protect/mem_protect/src/mem_protect.h index ef0ba48a5190483..27d880b966eac51 100644 --- a/tests/kernel/mem_protect/mem_protect/src/mem_protect.h +++ b/tests/kernel/mem_protect/mem_protect/src/mem_protect.h @@ -91,6 +91,6 @@ static inline void set_fault_valid(bool valid) __syscall struct k_heap *ret_resource_pool_ptr(void); -#include +#include #endif /* _TEST_SYSCALLS_H_ */ diff --git a/tests/kernel/mem_protect/syscalls/src/main.c b/tests/kernel/mem_protect/syscalls/src/main.c index 2e03c409065060b..5028526a61b264d 100644 --- a/tests/kernel/mem_protect/syscalls/src/main.c +++ b/tests/kernel/mem_protect/syscalls/src/main.c @@ -63,7 +63,7 @@ static inline size_t z_vrfy_string_nlen(char *src, size_t maxlen, int *err) return ret; } -#include +#include int z_impl_string_alloc_copy(char *src) { @@ -89,7 +89,7 @@ static inline int z_vrfy_string_alloc_copy(char *src) return ret; } -#include +#include int z_impl_string_copy(char *src) { @@ -110,7 +110,7 @@ static inline int z_vrfy_string_copy(char *src) return z_impl_string_copy(kernel_buf); } -#include +#include /* Not actually used, but will copy wrong string if called by mistake instead * of the handler @@ -125,7 +125,7 @@ static inline int z_vrfy_to_copy(char *dest) { return z_user_to_copy((char *)dest, user_string, BUF_SIZE); } -#include +#include int z_impl_syscall_arg64(uint64_t arg) { @@ -139,7 +139,7 @@ static inline int z_vrfy_syscall_arg64(uint64_t arg) { return z_impl_syscall_arg64(arg); } -#include +#include /* Bigger 64 bit arg syscall to exercise marshalling 7+ words of * arguments (this one happens to need 9), and to test generation of @@ -166,7 +166,7 @@ static inline uint64_t z_vrfy_syscall_arg64_big(uint32_t arg1, uint32_t arg2, { return z_impl_syscall_arg64_big(arg1, arg2, arg3, arg4, arg5, arg6); } -#include +#include uint32_t z_impl_more_args(uint32_t arg1, uint32_t arg2, uint32_t arg3, uint32_t arg4, uint32_t arg5, uint32_t arg6, @@ -190,7 +190,7 @@ static inline uint32_t z_vrfy_more_args(uint32_t arg1, uint32_t arg2, { return z_impl_more_args(arg1, arg2, arg3, arg4, arg5, arg6, arg7); } -#include +#include /** * @brief Test to demonstrate usage of z_user_string_nlen() @@ -417,7 +417,7 @@ static inline bool z_vrfy_syscall_context(void) { return z_impl_syscall_context(); } -#include +#include void test_syscall_context_user(void *p1, void *p2, void *p3) { diff --git a/tests/kernel/mem_protect/syscalls/src/test_syscalls.h b/tests/kernel/mem_protect/syscalls/src/test_syscalls.h index 968928c54bf5498..88f2c8e29f69db8 100644 --- a/tests/kernel/mem_protect/syscalls/src/test_syscalls.h +++ b/tests/kernel/mem_protect/syscalls/src/test_syscalls.h @@ -27,6 +27,6 @@ __syscall uint32_t more_args(uint32_t arg1, uint32_t arg2, uint32_t arg3, uint32_t arg4, uint32_t arg5, uint32_t arg6, uint32_t arg7); -#include +#include #endif /* _TEST_SYSCALLS_H_ */ diff --git a/tests/kernel/mem_protect/userspace/src/main.c b/tests/kernel/mem_protect/userspace/src/main.c index 8d5cf9ec4bcca80..928a134be73b5b2 100644 --- a/tests/kernel/mem_protect/userspace/src/main.c +++ b/tests/kernel/mem_protect/userspace/src/main.c @@ -937,7 +937,7 @@ static inline void z_vrfy_check_syscall_context(void) { return z_impl_check_syscall_context(); } -#include +#include ZTEST_USER(userspace, test_syscall_context) { diff --git a/tests/kernel/mem_protect/userspace/src/test_syscall.h b/tests/kernel/mem_protect/userspace/src/test_syscall.h index bc2a5d62b042ec8..f92b41a4e8f5211 100644 --- a/tests/kernel/mem_protect/userspace/src/test_syscall.h +++ b/tests/kernel/mem_protect/userspace/src/test_syscall.h @@ -10,6 +10,6 @@ __syscall void missing_syscall(void); __syscall void check_syscall_context(void); -#include +#include #endif diff --git a/tests/kernel/threads/thread_stack/src/main.c b/tests/kernel/threads/thread_stack/src/main.c index b84b3b3dd447eb3..e1170424fadcf92 100644 --- a/tests/kernel/threads/thread_stack/src/main.c +++ b/tests/kernel/threads/thread_stack/src/main.c @@ -46,7 +46,7 @@ static inline void z_vrfy_stack_info_get(char **start_addr, z_impl_stack_info_get(start_addr, size); } -#include +#include int z_impl_check_perms(void *addr, size_t size, int write) { @@ -57,7 +57,7 @@ static inline int z_vrfy_check_perms(void *addr, size_t size, int write) { return z_impl_check_perms((void *)addr, size, write); } -#include +#include #endif /* CONFIG_USERSPACE */ /* Global data structure with object information, used by diff --git a/tests/kernel/threads/thread_stack/src/test_syscall.h b/tests/kernel/threads/thread_stack/src/test_syscall.h index eb466dd79464fa4..a9bd7dbac1bc358 100644 --- a/tests/kernel/threads/thread_stack/src/test_syscall.h +++ b/tests/kernel/threads/thread_stack/src/test_syscall.h @@ -11,6 +11,6 @@ __syscall void stack_info_get(char **start_addr, size_t *size); #ifdef CONFIG_USERSPACE __syscall int check_perms(void *addr, size_t size, int write); #endif -#include +#include #endif diff --git a/tests/subsys/logging/log_benchmark/src/test_helpers.c b/tests/subsys/logging/log_benchmark/src/test_helpers.c index ad8b4f571bbfc8b..f4d5ca7e17208b6 100644 --- a/tests/subsys/logging/log_benchmark/src/test_helpers.c +++ b/tests/subsys/logging/log_benchmark/src/test_helpers.c @@ -31,7 +31,7 @@ static inline void z_vrfy_test_helpers_log_setup(void) { return z_impl_test_helpers_log_setup(); } -#include +#include #endif int z_impl_test_helpers_cycle_get(void) @@ -44,7 +44,7 @@ static inline int z_vrfy_test_helpers_cycle_get(void) { return z_impl_test_helpers_cycle_get(); } -#include +#include #endif bool z_impl_test_helpers_log_dropped_pending(void) @@ -57,5 +57,5 @@ static inline bool z_vrfy_test_helpers_log_dropped_pending(void) { return z_impl_test_helpers_log_dropped_pending(); } -#include +#include #endif diff --git a/tests/subsys/logging/log_benchmark/src/test_helpers.h b/tests/subsys/logging/log_benchmark/src/test_helpers.h index 0383d840c8b9682..d2b0c2213d37bd5 100644 --- a/tests/subsys/logging/log_benchmark/src/test_helpers.h +++ b/tests/subsys/logging/log_benchmark/src/test_helpers.h @@ -12,6 +12,6 @@ __syscall void test_helpers_log_setup(void); __syscall int test_helpers_cycle_get(void); __syscall bool test_helpers_log_dropped_pending(void); -#include +#include #endif /* SRC_TEST_HELPERS_H__ */