diff --git a/xen/arch/arm/bootfdt.c b/xen/arch/arm/bootfdt.c index b6f92a174f..2673ad17a1 100644 --- a/xen/arch/arm/bootfdt.c +++ b/xen/arch/arm/bootfdt.c @@ -225,7 +225,7 @@ static int __init process_reserved_memory_node(const void *fdt, int node, size_cells, data); if ( rc == -ENOSPC ) - panic("Max number of supported reserved-memory regions reached."); + panic("Max number of supported reserved-memory regions reached.\n"); else if ( rc != -ENOENT ) return rc; return 0; diff --git a/xen/arch/arm/domain_build.c b/xen/arch/arm/domain_build.c index 579bc8194f..d0d6be922d 100644 --- a/xen/arch/arm/domain_build.c +++ b/xen/arch/arm/domain_build.c @@ -74,7 +74,7 @@ int __init parse_arch_dom0_param(const char *s, const char *e) return 0; #else - panic("'sve' property found, but CONFIG_ARM64_SVE not selected"); + panic("'sve' property found, but CONFIG_ARM64_SVE not selected\n"); #endif } @@ -697,7 +697,7 @@ static void __init allocate_static_memory(struct domain *d, return; fail: - panic("Failed to allocate requested static memory for domain %pd.", d); + panic("Failed to allocate requested static memory for domain %pd.\n", d); } /* @@ -769,7 +769,7 @@ static void __init assign_static_memory_11(struct domain *d, return; fail: - panic("Failed to assign requested static memory for direct-map domain %pd.", + panic("Failed to assign requested static memory for direct-map domain %pd.\n", d); } diff --git a/xen/arch/x86/cpu/microcode/core.c b/xen/arch/x86/cpu/microcode/core.c index e65af4b82e..c3fee62906 100644 --- a/xen/arch/x86/cpu/microcode/core.c +++ b/xen/arch/x86/cpu/microcode/core.c @@ -524,7 +524,7 @@ static int control_thread_fn(const struct microcode_patch *patch) */ if ( wait_for_condition(wait_cpu_callout, (done + 1), MICROCODE_UPDATE_TIMEOUT_US) ) - panic("Timeout when finished updating microcode (finished %u/%u)", + panic("Timeout when finished updating microcode (finished %u/%u)\n", done, nr_cores); /* Print warning message once if long time is spent here */