+void
+kdp_jtag_coredump_init(void)
+{
+ kdp_jtag_coredump.version = (uint64_t) KDP_JTAG_COREDUMP_VERSION_1;
+ kdp_jtag_coredump.kernel_map_start = (uint64_t) kernel_map->min_offset;
+ kdp_jtag_coredump.kernel_map_end = (uint64_t) kernel_map->max_offset;
+ kdp_jtag_coredump.kernel_pmap_pml4 = (uint64_t) kernel_pmap->pm_pml4;
+ kdp_jtag_coredump.pmap_memory_regions = (uint64_t) &pmap_memory_regions;
+ kdp_jtag_coredump.pmap_memory_region_count = (uint64_t) pmap_memory_region_count;
+ kdp_jtag_coredump.pmap_memory_region_t_size = (uint64_t) sizeof(pmap_memory_region_t);
+ kdp_jtag_coredump.physmap_base = (uint64_t) &physmap_base;
+
+ /* update signature last so that JTAG can trust that structure has valid data */
+ kdp_jtag_coredump.signature = (uint64_t) KDP_JTAG_COREDUMP_SIGNATURE;
+}
+
+void
+kdp_machine_init(void)
+{
+ if (debug_boot_arg == 0) {
+ return;
+ }