Searched refs:uuid_string_3 (Results 1 – 1 of 1) sorted by relevance
827 char uuid_string_3[] = "A10F32F8-D5AF-431F-8098-FEDD0FFB794A"; in ext_paniclog_insert_dummy_handles_test() local829 uuid_parse(uuid_string_3, uuid_3); in ext_paniclog_insert_dummy_handles_test()