Symbol: DEVLINK_HEALTH_REPORTER_STATE_HEALTHY