diff options
author | Anton Kling <anton@kling.gg> | 2024-03-14 13:09:59 +0100 |
---|---|---|
committer | Anton Kling <anton@kling.gg> | 2024-03-14 13:09:59 +0100 |
commit | 2e8b474d4219e7faaac3823e73c8d528c2698a37 (patch) | |
tree | 7d93b5fd220e8b703ba69f9b55122d15c9d619fb /kernel/includes | |
parent | 051ac9f1941e8bc6ad87beccb61a2d53111ba8ea (diff) |
random changes made
Diffstat (limited to 'kernel/includes')
-rw-r--r-- | kernel/includes/mmu.h | 4 | ||||
-rw-r--r-- | kernel/includes/syscalls.h | 5 |
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); |