toyvirt_mem_add
uintptr_t toyvirt_mem_add(struct nvmm_machine *, gpaddr_t, size_t);
hva = toyvirt_mem_add(mach, phdr[i].p_vaddr,
toyvirt_mem_add(mach, lastgpa, 128 * PAGE_SIZE);