CVMX_CMD_QUEUE_PKO_BASE
((cvmx_cmd_queue_id_t)(CVMX_CMD_QUEUE_PKO_BASE + (0xffff&(queue))))
CVMX_CMD_QUEUE_PKO_BASE = 0x00000,