# CONFIG_RV_MON_STALL is not set
