# CONFIG_RV_MON_SLEEP is not set
