|
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/phys_base_allocator.h"#include "spinlock.h"#include <sys/syscall.h>Go to the source code of this file.
Functions | |
| intptr_t | syscall_brk (void *addr) |
| intptr_t syscall_brk | ( | void * | addr | ) |
Definition at line 8 of file brk.c.
References addr, ALIGN_UP, get_current_core_data(), heap_start, PAGE_PRESENT, PAGE_SIZE, PAGE_USER, PAGE_WRITABLE, phys_base_alloc(), serial2_printf(), spin_acquire(), spin_release(), and vxMmap().
Referenced by syscall_dispatch().