Searched refs:current_uuid_buffer (Results 1 – 1 of 1) sorted by relevance
1711 char *current_uuid_buffer = NULL; in print_uuid_info() local1731 current_uuid_buffer = uuidbufptr; in print_uuid_info()1733 paniclog_append_noflush(" %#llx", *(uint64_t *)current_uuid_buffer); in print_uuid_info()1734 current_uuid_buffer += sizeof(uint64_t); in print_uuid_info()1735 uint8_t *uuid = (uint8_t *)current_uuid_buffer; in print_uuid_info()1739 current_uuid_buffer += 16; in print_uuid_info()