From 4116babb3999d12a6d4ed57ff348586c47071a08 Mon Sep 17 00:00:00 2001 From: sbosse Date: Wed, 22 Jan 2025 12:18:35 +0100 Subject: [PATCH] Wed 22 Jan 12:17:36 CET 2025 --- kernel/syscall_handler.c | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/kernel/syscall_handler.c b/kernel/syscall_handler.c index f1bda5e..b4a722f 100644 --- a/kernel/syscall_handler.c +++ b/kernel/syscall_handler.c @@ -551,6 +551,10 @@ int sys_device_driver_stats(const char * name, struct device_driver_stats * stat return 0; } +#ifdef KERNEL_SYSCALL_EXT + #include "kernel_syscall_ext.c" +#endif + int32_t syscall_handler(syscall_t n, uint32_t a, uint32_t b, uint32_t c, uint32_t d, uint32_t e) { if((n < MAX_SYSCALL) && current) { @@ -633,6 +637,9 @@ int32_t syscall_handler(syscall_t n, uint32_t a, uint32_t b, uint32_t c, uint32_ return sys_system_rtc((struct rtc_time *) a); case SYSCALL_DEVICE_DRIVER_STATS: return sys_device_driver_stats((char *) a, (struct device_driver_stats *) b); +#ifdef KERNEL_SYSCALL_EXT + KERNEL_SYSCALL_EXT_SWITCH +#endif default: return KERROR_INVALID_SYSCALL; }