From 61db1f4908b5dce438a914caa9a01adaa66a4b01 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?M=C3=A1ximo=20Casta=C3=B1eda?= Date: Wed, 29 May 2024 13:55:30 +0200 Subject: [PATCH] kernel/arch: Fix format specifier for area_id Change-Id: I1430a68c92fa9c5db96b0d36cc01242ccbf456de --- src/system/kernel/arch/x86/arch_cpu.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/system/kernel/arch/x86/arch_cpu.cpp b/src/system/kernel/arch/x86/arch_cpu.cpp index 8aa7af1fd7..08fbde2697 100644 --- a/src/system/kernel/arch/x86/arch_cpu.cpp +++ b/src/system/kernel/arch/x86/arch_cpu.cpp @@ -1786,7 +1786,7 @@ arch_cpu_init_post_vm(kernel_args* args) kDoubleFaultStackSize * smp_get_num_cpus(), B_FULL_LOCK, B_KERNEL_READ_AREA | B_KERNEL_WRITE_AREA); if (stacks < B_OK) - panic("failed to create double fault stacks area: %d", stacks); + panic("failed to create double fault stacks area: %" B_PRId32, stacks); X86PagingStructures* kernelPagingStructures = static_cast(