profiling: fix build

moodyhunter · Aug 15, 2024 · b60d8c4 · b60d8c4
1 parent f458566
commit b60d8c4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/kernel/ksyscall_entry.c b/kernel/ksyscall_entry.c
@@ -6,14 +6,15 @@
 #include "mos/tasks/signal.h"
 
 #include <mos/syscall/dispatcher.h>
+#include <mos/syscall/table.h>
 #include <mos/types.h>
 #include <mos_stdio.h>
 
 reg_t ksyscall_enter(reg_t number, reg_t arg1, reg_t arg2, reg_t arg3, reg_t arg4, reg_t arg5, reg_t arg6)
 {
     const pf_point_t ev = profile_enter();
     const reg_t ret = dispatch_syscall(number, arg1, arg2, arg3, arg4, arg5, arg6);
-    profile_leave(ev, "syscall.%lu.%s", num, syscall_names[num]);
+    profile_leave(ev, "syscall.%lu.%s", number, syscall_names[number]);
 
     if (IS_ERR_VALUE(ret))
     {

diff --git a/kernel/misc/profiling.c b/kernel/misc/profiling.c
@@ -15,7 +15,7 @@
 #endif
 
 #if MOS_CONFIG(MOS_PROFILING)
-#define PROFILER_HEADER "name,start_time,end_time,total_time\n"
+#define PROFILER_HEADER "\nname,start_time,end_time,total_time\n"
 #define PROFILER_LINE   "%s,%llu,%llu,%llu"
 
 static console_t *profile_console = NULL;