#include #include #include #include void sys_debugprint(const char *string) { syscall(SYS_DEBUGPRINT, (uint64_t)string, 0, 0, 0, 0, 0); } int32_t sys_processctl(uint64_t pid, uint64_t cmd, void *extra) { return syscall(SYS_PROCESSCTL, pid, cmd, (uint64_t)extra, 0, 0, 0); }