__cvmx_cmd_queue_get_index
ticket[__cvmx_cmd_queue_get_index(queue_id)] = 0;
[ticket_ptr] "=" GCC_OFF_SMALL_ASM()(__cvmx_cmd_queue_state_ptr->ticket[__cvmx_cmd_queue_get_index(queue_id)]),
state[__cvmx_cmd_queue_get_index(queue_id)];