# CONFIG_RV_MON_NRP is not set
