hyp_back_vmemmap
int hyp_back_vmemmap(phys_addr_t back);
ret = hyp_back_vmemmap(hyp_virt_to_phys(vmemmap_base));