write

kernel/syscall/stub.h

@@ -23,3 +23,7 @@ extern "C" ssize_t sys_safe_call(Syscall::ID id, size_t p1, size_t p2,
 													  size_t p5) {
 	return sys_call(Syscall::ID::TEST, p1, p2, p3, p4, p5);
 }
+
+[[gnu::always_inline]] static inline int write(int fd, const void *buf, size_t len, int x = -1, int y = -1) {
+	return sys_call(Syscall::ID::WRITE, fd, (size_t)buf, len, x, y);
+}