TDQ_ID
cpu = TDQ_ID(low);
cpu = TDQ_ID(to);
cpu = TDQ_ID(tdq);
"sched lock %d", (int)TDQ_ID(tdq));
"CPU %d load", (int)TDQ_ID(tdq));
printf("tdq %d:\n", TDQ_ID(tdq));
SDT_PROBE2(sched, , , load__change, (int)TDQ_ID(tdq), tdq->tdq_load);
("tdq_load_rem: Removing with 0 load on queue %d", TDQ_ID(tdq)));
SDT_PROBE2(sched, , , load__change, (int)TDQ_ID(tdq), tdq->tdq_load);