Symbol: vmm_hyp_reg_store
sys/arm64/vmm/vmm_hyp.c
572
vmm_hyp_reg_store(&host_hypctx, NULL, false, ecv_poff);
sys/arm64/vmm/vmm_hyp.c
602
vmm_hyp_reg_store(hypctx, hyp, true, ecv_poff);