From 1f7e7501660123ff8f26e8c65e75c2b282b933ef Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Fri, 8 Jul 2022 14:40:44 +0200
Subject: syscall/fs_respond: get the file id from the buf argument

Previously, file ids could only be positive integers, so their range
was 31 bits - not enough to represent the entire memory. Now, pointers
can be safely used as file ids.
---
 src/kernel/handle.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/kernel/handle.h')

diff --git a/src/kernel/handle.h b/src/kernel/handle.h
index 423ea88..4a5cab2 100644
--- a/src/kernel/handle.h
+++ b/src/kernel/handle.h
@@ -16,7 +16,7 @@ enum handle_type {
 struct handle {
 	enum handle_type type;
 	struct vfs_backend *backend; // HANDLE_FILE | HANDLE_FS_FRONT
-	int file_id; // only applicable to HANDLE_FILE
+	void __user *file_id; // only applicable to HANDLE_FILE
 	struct {
 		struct process *reader, *writer;
 	} pipe;
-- 
cgit v1.2.3