aes-test/virt-to-phys.h

#include <stdlib.h>

uintptr_t virt_to_phys_user(char* name, uintptr_t vaddr);