create separate library for userlib that handles vmm_get_phys_addr