cvmx_cmd_queue_buffer
buf_ptr = (uint64_t *)cvmx_cmd_queue_buffer(
cvmx_cmd_queue_buffer(CVMX_CMD_QUEUE_PKO
void *cvmx_cmd_queue_buffer(cvmx_cmd_queue_id_t queue_id);