Separated cert log related structs from buffer_dumper.h (#9700)

* Separated cert log related structs from buffer_dumper.h, so it could be included in windbg ext
Also, now that cert log buffer allocation is shared with KMD made change related to it

* Made suggested changes by github-copilot and rebase with master

* Changed #define to constexpr for UC_LOG_ENTRY_SIZE

* Incorporated code review feedback

Author: arpitxilinx

src/runtime_src/core/common/api/xrt_bo.cpp

@@ -1167,6 +1167,7 @@ alloc(const device_type& device, size_t sz, xrtBufferFlags flags, xrtMemoryGroup
       return alloc_hbuf(device, xrt_core::aligned_alloc(get_alignment(), sz), sz, flags, grp);
 #endif
   case XCL_BO_FLAGS_CACHEABLE:
+  case XCL_BO_FLAGS_KERNBUF:
   case XCL_BO_FLAGS_SVM:
   case XCL_BO_FLAGS_HOST_ONLY:
   case XCL_BO_FLAGS_P2P:
@@ -1733,10 +1734,12 @@ compose_internal_bo_flags(use_type type)
   case use_type::dtrace:
   case use_type::host_only:
   case use_type::uc_debug:
-  case use_type::log:
   case use_type::scratch_pad:
     flags.flags = XRT_BO_FLAGS_HOST_ONLY;
     break;
+  case use_type::log:
+      flags.flags = XRT_BO_FLAGS_CARVEOUT;
+      break;
   default:
     throw std::runtime_error("create_bo is called with invalid buffer type\n");
   }

src/runtime_src/core/common/buffer_dumper.h

@@ -2,6 +2,7 @@
 // Copyright (C) 2025 Advanced Micro Devices, Inc. All rights reserved.
 #ifndef xrtcore_util_buffer_dumper_h_
 #define xrtcore_util_buffer_dumper_h_
+#include "core/common/uc_log.h"
 #include "core/include/xrt/xrt_bo.h"
 
 #include <atomic>
@@ -48,18 +49,8 @@ class buffer_dumper
     bool dump_bin_format = false;     // Dump in binary format when enabled
   };
 
-  // Log entry struct for uc log binary format
-  struct log_entry
-  {
-    uint32_t length = 0;              // Log entry length in number of words
-    uint32_t ts_high = 0;             // Timestamp high 32 bits
-    uint32_t ts_low = 0;              // Timestamp low 32 bits
-    uint32_t file_id = 0;             // ID of log source file
-    uint32_t line_num = 0;            // Line number of log in source file
-    uint32_t log_id = 0;              // ID of format string
-    uint32_t argument1 = 0;           // First argument (present if length > 6)
-    uint32_t argument2 = 0;           // Second argument (present if length > 7)
-  };
+  // Log entry layout: shared definition in uc_log.h
+  using log_entry = uc_log_entry;
 
 private:
   config m_config;

src/runtime_src/core/common/uc_log.h

@@ -0,0 +1,32 @@
+// SPDX-License-Identifier: Apache-2.0
+// Copyright (C) 2026 Advanced Micro Devices, Inc. All rights reserved.
+#ifndef xrtcore_common_uc_log_h_
+#define xrtcore_common_uc_log_h_
+
+#include <cstddef>
+#include <cstdint>
+#include <type_traits>
+
+namespace xrt_core {
+
+/// UC device log ring entry. Used by buffer_dumper and host-side tools
+/// (e.g. WinDbg extension) without pulling in buffer_dumper / xrt::bo.
+struct uc_log_entry
+{
+  uint32_t length = 0;    // Log entry length in number of words
+  uint32_t ts_high = 0;   // Timestamp high 32 bits
+  uint32_t ts_low = 0;    // Timestamp low 32 bits
+  uint32_t file_id = 0;   // ID of log source file
+  uint32_t line_num = 0;  // Line number of log in source file
+  uint32_t log_id = 0;    // ID of format string (see uc_log_schema.h)
+  uint32_t argument1 = 0; // First argument (present if length > word offset of argument1)
+  uint32_t argument2 = 0; // Second argument (present if length > word offset of argument2)
+};
+
+inline constexpr std::size_t uc_log_entry_size = 32;
+static_assert(std::is_standard_layout_v<uc_log_entry>, "uc_log_entry layout");
+static_assert(sizeof(uc_log_entry) == uc_log_entry_size, "uc_log_entry size");
+
+} // namespace xrt_core
+
+#endif