Symbol: vmm_hyp_reg_restore
sys/arm64/vmm/vmm_hyp.c
586
vmm_hyp_reg_restore(hypctx, hyp, true, ecv_poff);
sys/arm64/vmm/vmm_hyp.c
652
vmm_hyp_reg_restore(&host_hypctx, NULL, false, ecv_poff);