From 5e66083355cca6a765f434c73eb7a16b0105e8e8 Mon Sep 17 00:00:00 2001 From: Max Wash Date: Sun, 19 Apr 2026 19:33:10 +0100 Subject: [PATCH] x86_64: formatting tweaks --- arch/x86_64/init.c | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/arch/x86_64/init.c b/arch/x86_64/init.c index 903c93b..5921eee 100644 --- a/arch/x86_64/init.c +++ b/arch/x86_64/init.c @@ -20,7 +20,7 @@ #include #include -#undef HARDWARE_RNG +#define HARDWARE_RNG #define PTR32(x) ((void *)((uintptr_t)(x))) @@ -56,13 +56,10 @@ static void early_vm_init(uintptr_t reserve_end) uintptr_t alloc_end = VM_KERNEL_VOFFSET + 0x7fffffff; memblock_init(alloc_start, alloc_end, VM_KERNEL_VOFFSET); - printk("memblock: allocating from [0x%llx-0x%llx]", - alloc_start, - alloc_end); + printk("memblock: allocating from [0x%llx-0x%llx]", alloc_start, alloc_end); memblock_reserve(0x00, reserve_end); - printk("memblock: reserved bios+kernel at [0x%016llx-0x%016llx]", - 0, + printk("memblock: reserved bios+kernel at [0x%016llx-0x%016llx]", 0, reserve_end); }