Symbol: vmm_hyp_reg_restore
sys/arm64/vmm/vmm_hyp.c
789
vmm_hyp_reg_restore(hypctx, hyp, true);
sys/arm64/vmm/vmm_hyp.c
795
vmm_hyp_reg_restore(&host_hypctx, hyp, false);