diff options
Diffstat (limited to 'src/kernel/arch/generic.h')
| -rw-r--r-- | src/kernel/arch/generic.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/kernel/arch/generic.h b/src/kernel/arch/generic.h index fd44e38..3e98001 100644 --- a/src/kernel/arch/generic.h +++ b/src/kernel/arch/generic.h @@ -30,8 +30,10 @@ struct pagedir *pagedir_new(void); struct pagedir *pagedir_copy(const struct pagedir *orig); void pagedir_free(struct pagedir *); +void *pagedir_unmap(struct pagedir *dir, void __user *virt); void pagedir_map(struct pagedir *dir, void __user *virt, void *phys, bool user, bool writeable); +bool pagedir_iskern(struct pagedir *, const void __user *virt); void pagedir_switch(struct pagedir *); |