pop_hyp_memcache
free_fn(pop_hyp_memcache(mc, to_va), arg);
addr = pop_hyp_memcache(mc, hyp_phys_to_virt);
return pop_hyp_memcache(host_mc, hyp_phys_to_virt);
void *addr = pop_hyp_memcache(vcpu_mc, hyp_phys_to_virt);