Symbol: devlink_health_reporter_state_update