typhoon_inc_cmd_index
typhoon_inc_cmd_index(&ring->lastWrite, 1);
typhoon_inc_cmd_index(&ring->lastWrite, num_cmd);