libsel4camkes: Update musl lib

New version of musllibc introduced time32 infrastructure
seL4 · Feb 12, 2025 · a8fede9 · a8fede9
1 parent 9c7c211
commit a8fede9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/libsel4camkes/src/vsyscall.c b/libsel4camkes/src/vsyscall.c
@@ -34,7 +34,11 @@ struct {
 #ifdef __NR_pause
     {__NR_pause, camkes_sys_pause},
 #endif
+#ifdef __NR_clock_gettime64
+    {__NR_clock_gettime64, camkes_sys_clock_gettime},
+#else
     {__NR_clock_gettime, camkes_sys_clock_gettime},
+#endif
 #ifdef __NR__newselect
     {__NR__newselect, camkes_sys__newselect},
 #endif