|
Voxia OS v0.0.1
Hobby Project Operating System Targeting x86-64
|
#include "hal/cpu/core.h"#include "hal/cpu/paging.h"#include "libk/serial.h"#include "memory/memory_utils.h"#include "memory/vm_manager.h"#include "sys/err_no.h"#include <sys/syscall.h>Go to the source code of this file.
Functions | |
| int | syscall_mprotect (void *addr, size_t len, int prot) |
| int syscall_mprotect | ( | void * | addr, |
| size_t | len, | ||
| int | prot ) |
Definition at line 9 of file mprotect.c.
References addr, ALIGN_DOWN, ALIGN_UP, get_current_core_data(), len, PAGE_NO_EXECUTE, PAGE_PRESENT, PAGE_USER, PAGE_WRITABLE, PROT_EXEC, PROT_READ, PROT_WRITE, serial2_printf(), vma_find(), and vxMultipleMmap().
Referenced by syscall_dispatch().