x86_64: adjust formatting
This commit is contained in:
+3
-1
@@ -56,7 +56,9 @@ static void early_vm_init(uintptr_t reserve_end)
|
|||||||
uintptr_t alloc_end = VM_KERNEL_VOFFSET + 0x7fffffff;
|
uintptr_t alloc_end = VM_KERNEL_VOFFSET + 0x7fffffff;
|
||||||
|
|
||||||
memblock_init(alloc_start, alloc_end, VM_KERNEL_VOFFSET);
|
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);
|
memblock_reserve(0x00, reserve_end);
|
||||||
printk("memblock: reserved bios+kernel at [0x%016llx-0x%016llx]",
|
printk("memblock: reserved bios+kernel at [0x%016llx-0x%016llx]",
|
||||||
|
|||||||
Reference in New Issue
Block a user