Wed 22 Jan 23:34:02 CET 2025

This commit is contained in:
sbosse 2025-01-22 23:34:41 +01:00
parent 0628d074fc
commit 7e70974169

View File

@ -8,6 +8,7 @@ See the file LICENSE for details.
#include "kernel/stats.h" #include "kernel/stats.h"
#include "kernel/gfxstream.h" #include "kernel/gfxstream.h"
void syscall_debug(const char *str) void syscall_debug(const char *str)
{ {
syscall(SYSCALL_DEBUG, (uint32_t) str, 0, 0, 0, 0); syscall(SYSCALL_DEBUG, (uint32_t) str, 0, 0, 0, 0);
@ -198,3 +199,8 @@ int syscall_device_driver_stats(char * name, void * stats)
return syscall(SYSCALL_DEVICE_DRIVER_STATS, (uint32_t) name, (uint32_t) stats, 0, 0, 0); return syscall(SYSCALL_DEVICE_DRIVER_STATS, (uint32_t) name, (uint32_t) stats, 0, 0, 0);
} }
#ifdef LIBRARY_SYSCALLS_EXT
#include "library_syscalls_ext.c"
#endif