Searched refs:uuid_index (Results 1 – 1 of 1) sorted by relevance
4961 static const int uuid_index[16] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}; variable4967 const int *index = uuid_index; in print_uuid_arg()