push_hyp_memcache
push_hyp_memcache(mc, p, to_pa);
push_hyp_memcache(mc, addr, hyp_virt_to_phys);
push_hyp_memcache(mc, start, hyp_virt_to_phys);
push_hyp_memcache(stage2_mc, addr, hyp_virt_to_phys);