Symbol: reset_vm_el2_regs
sys/arm64/vmm/reset.h
31
void reset_vm_el2_regs(void *vcpu);
sys/arm64/vmm/vmm_arm64.c
583
reset_vm_el2_regs(hypctx);