18 lines
467 B
C
18 lines
467 B
C
#include <stdint.h>
|
|
#include <system/system.h>
|
|
#include <syscall/syscall.h>
|
|
#include <sysdefs/syscall.h>
|
|
|
|
void debugprint(const char *string) {
|
|
syscall(SYS_DEBUGPRINT, (uint64_t)string, 0, 0, 0, 0, 0);
|
|
}
|
|
|
|
int32_t processctl(uint64_t pid, uint64_t cmd, void *extra) {
|
|
return syscall(SYS_PROCESSCTL, pid, cmd, (uint64_t)extra, 0, 0, 0);
|
|
}
|
|
|
|
int32_t ioctl(uint64_t ioh, uint64_t cmd, void *extra) {
|
|
return syscall(SYS_IOCTL, ioh, cmd, (uint64_t)extra, 0, 0, 0);
|
|
}
|
|
|