HYP_ENTER_GUEST
return (vmm_call_hyp(HYP_ENTER_GUEST, hyp->el2_addr, hypctx->el2_addr));
case HYP_ENTER_GUEST: