#include <stdlib.h>

uintptr_t virt_to_phys_user(char* name, uintptr_t vaddr);