summaryrefslogtreecommitdiff
path: root/kernel/includes
diff options
context:
space:
mode:
authorAnton Kling <anton@kling.gg>2024-03-14 13:09:59 +0100
committerAnton Kling <anton@kling.gg>2024-03-14 13:09:59 +0100
commit2e8b474d4219e7faaac3823e73c8d528c2698a37 (patch)
tree7d93b5fd220e8b703ba69f9b55122d15c9d619fb /kernel/includes
parent051ac9f1941e8bc6ad87beccb61a2d53111ba8ea (diff)
random changes made
Diffstat (limited to 'kernel/includes')
-rw-r--r--kernel/includes/mmu.h4
-rw-r--r--kernel/includes/syscalls.h5
2 files changed, 7 insertions, 2 deletions
diff --git a/kernel/includes/mmu.h b/kernel/includes/mmu.h
index 49b4886..68fd134 100644
--- a/kernel/includes/mmu.h
+++ b/kernel/includes/mmu.h
@@ -45,6 +45,8 @@ void mmu_map_physical(void *dst, PageDirectory *d, void *physical,
size_t length);
void mmu_free_pages(void *a, u32 n);
void *mmu_map_user_frames(void *const ptr, size_t s);
+void *mmu_is_valid_userpointer(const void *ptr, size_t s);
+void *mmu_is_valid_user_c_string(const char *ptr, size_t *size);
void flush_tlb(void);
void paging_init(u64 memsize);
@@ -54,8 +56,6 @@ void switch_page_directory(PageDirectory *directory);
void *allocate_frame(Page *page, int rw, int is_kernel);
PageDirectory *clone_directory(PageDirectory *original);
void *virtual_to_physical(void *address, PageDirectory *directory);
-void *is_valid_userpointer(const void *const p, size_t s);
-void *is_valid_user_c_string(const char *ptr, size_t *size);
void *ksbrk(size_t s);
void *ksbrk_physical(size_t s, void **physical);
diff --git a/kernel/includes/syscalls.h b/kernel/includes/syscalls.h
index ee3e417..a0be694 100644
--- a/kernel/includes/syscalls.h
+++ b/kernel/includes/syscalls.h
@@ -6,11 +6,16 @@
#include <time.h>
#include <typedefs.h>
#include <types.h>
+#include <queue.h>
void syscall_outw(u16 port, u16 word);
u32 syscall_inl(u16 port);
void syscall_outl(u16 port, u32 l);
+int syscall_queue_create(u32 *id);
+int syscall_queue_add(u32 queue_id, struct event *ev, u32 size);
+int syscall_queue_wait(u32 queue_id);
+
int syscall_ipc_register_endpoint(u32 endpoint);
int syscall_ipc_read(u8 *buffer, u32 length, u32 *sender_pid);
int syscall_ipc_write(int ipc_id, u8 *buffer, u32 length);