x86_64: formatting tweaks

This commit is contained in:
2026-04-19 19:33:10 +01:00
parent b92542c688
commit 5e66083355
+3 -6
View File
@@ -20,7 +20,7 @@
#include <kernel/util.h>
#include <kernel/vm.h>
#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);
}