17 auto procc = thr->process;
each_core_data * get_current_core_data(void)
void serial2_printf(const char *fmt,...)
#define ALIGN_DOWN(x, align)
#define ALIGN_UP(x, align)
int syscall_mprotect(void *addr, size_t len, int prot)
void vxMultipleMmap(page_t page_dir, uint64_t virt, uint64_t phys, uint64_t size, uint64_t flags)
virtual_memory_t * vma_find(struct virtual_memory_page *page, uintptr_t virt_addr)