free_cmdQ_buffers
free_cmdQ_buffers(sge, Q, pending);
free_cmdQ_buffers(sge, Q, reclaim_cnt);
free_cmdQ_buffers(sge, &sge->cmdQ[0], credits_pend[0]);
free_cmdQ_buffers(sge, &sge->cmdQ[1], credits_pend[1]);
free_cmdQ_buffers(sge, &sge->cmdQ[0], credits_pend[0]);
free_cmdQ_buffers(sge, &sge->cmdQ[1], credits_pend[1]);
static void free_cmdQ_buffers(pesge *sge, cmdQ_t *Q, uint32_t credits_pend);