Symbol: EXCP_TYPE_REENTER
sys/arm64/vmm/vmm_hyp.c
755
*ret = EXCP_TYPE_REENTER;
sys/arm64/vmm/vmm_hyp.c
807
} while (ret == EXCP_TYPE_REENTER);