profile: fix definition of PROFILE_ENABLE and __NR_profile

Change-Id: I3f9f5870f8380d3668e1ccb06fd0f6d3307e3fa4
2021-01-05 00:50:49 -05:00
parent df37d6867f
commit d726bd3d11
5 changed files with 12 additions and 7 deletions
--- a/kernel/include/syscall.h
+++ b/kernel/include/syscall.h
@@ -20,6 +20,7 @@
 #include <ihk/ikc.h>
 #include <rlimit.h>
 #include <time.h>
+#include <profile.h>

 #define NUM_SYSCALLS 255