From 7485f7e441ca892876d9401380aa77610eb85f76 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Fri, 16 Apr 2021 23:22:02 +0200
Subject: New elegant I/O blocking solution

This is done using an internal scheduler syscall (127).

Very nice!
---
 kernel/inc/fs.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'kernel/inc/fs.h')

diff --git a/kernel/inc/fs.h b/kernel/inc/fs.h
index 93a8a5c..8dbf028 100644
--- a/kernel/inc/fs.h
+++ b/kernel/inc/fs.h
@@ -60,10 +60,10 @@ res vfs_mount(struct vfs_dev *dev, const char *path) NONNULL;
 struct vfs_dev *vfs_find_dev(const char *path) NONNULL;
 void vfs_add_dev(struct vfs_dev *dev) NONNULL;
 
-res vfs_read(const char *path, void *buf, u32 offset, u32 count) NONNULL;
-res vfs_write(const char *path, void *buf, u32 offset, u32 count) NONNULL;
-res vfs_ioctl(const char *path, u32 request, void *arg1, void *arg2, void *arg3) ATTR((nonnull(1)));
-res vfs_stat(const char *path, struct stat *buf) NONNULL;
+// No NONNULL on syscalls
+res vfs_read(const char *path, void *buf, u32 offset, u32 count);
+res vfs_write(const char *path, void *buf, u32 offset, u32 count);
+res vfs_stat(const char *path, struct stat *buf);
 
 struct vfs_dev *device_get_by_name(const char *name) NONNULL;
 struct vfs_dev *device_get_by_id(u32 id) NONNULL;
-- 
cgit v1.2.3