topup_mmu_memcache
ret = topup_mmu_memcache(s2fd->vcpu, memcache);
ret = topup_mmu_memcache(vcpu, hyp_memcache);