Symbol: EXCP_TYPE_REENTER
sys/arm64/vmm/vmm_hyp.c
648
ret = EXCP_TYPE_REENTER;
sys/arm64/vmm/vmm_hyp.c
677
} while (ret == EXCP_TYPE_REENTER);