scripts: gen_syscalls: add missing --split-type case

With CONFIG_TIMEOUT_64BIT it is both k_timeout_t and k_ticks_t that need to be split, otherwise many syscalls returning a number of ticks are being truncated to 32 bits. Signed-off-by: Nicolas Pitre <[email protected]>
zephyrbot · Mar 8, 2022 · 2cdac33 · 2cdac33
1 parent e2edb3e
commit 2cdac33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -672,7 +672,7 @@ if(CONFIG_64BIT)
 endif()
 
 if(CONFIG_TIMEOUT_64BIT)
-  set(SYSCALL_SPLIT_TIMEOUT_ARG --split-type k_timeout_t)
+  set(SYSCALL_SPLIT_TIMEOUT_ARG --split-type k_timeout_t --split-type k_ticks_t)
 endif()
 
 add_custom_command(OUTPUT include/generated/syscall_dispatch.c ${syscall_list_h}