Searched refs:tmp_kernel_uuid (Results 1 – 1 of 1) sorted by relevance
1951 char tmp_kernel_uuid[sizeof(kernel_uuid_string)]; local1953 …if (ml_nofault_copy((vm_offset_t) &kernel_uuid_string, (vm_offset_t) &tmp_kernel_uuid, sizeof(kern…1957 if (tmp_kernel_uuid[0] != '\0') {1958 paniclog_append_noflush("Kernel UUID: %s\n", tmp_kernel_uuid);