CVMX_CMD_QUEUE_DMA_BASE
CVMX_CMD_QUEUE_DMA_BASE = 0x40000,
((cvmx_cmd_queue_id_t)(CVMX_CMD_QUEUE_DMA_BASE + (0xffff&(queue))))