SPARX5_MAX_PTP_ID
int budget = SPARX5_MAX_PTP_ID;
if (sparx5->ptp_skbs == SPARX5_MAX_PTP_ID) {
if (port->ts_id == SPARX5_MAX_PTP_ID)