Symbol: reset_vm_el01_regs
sys/arm64/vmm/reset.h
30
void reset_vm_el01_regs(void *vcpu);
sys/arm64/vmm/vmm_arm64.c
569
reset_vm_el01_regs(hypctx);