kernel/arch: Fix format specifier for area_id

Change-Id: I1430a68c92fa9c5db96b0d36cc01242ccbf456de
This commit is contained in:
Máximo Castañeda 2024-05-29 13:55:30 +02:00
parent 0b4eefc5c8
commit 61db1f4908

View File

@ -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<X86VMTranslationMap*>(