From 2c0d329bf6008da4a71f707d138aa670120936a8 Mon Sep 17 00:00:00 2001
From: Nico Weber <thakis@chromium.org>
Date: Sat, 2 Oct 2021 15:56:26 -0400
Subject: [PATCH] Kernel: Make aarch64 UART::print_num() print u64s

---
 Kernel/Prekernel/Arch/aarch64/UART.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Kernel/Prekernel/Arch/aarch64/UART.h b/Kernel/Prekernel/Arch/aarch64/UART.h
index f20a5cdf10..5255de39af 100644
--- a/Kernel/Prekernel/Arch/aarch64/UART.h
+++ b/Kernel/Prekernel/Arch/aarch64/UART.h
@@ -26,9 +26,9 @@ public:
         while (*s)
             send(*s++);
     }
-    void print_num(u32 n)
+    void print_num(u64 n)
     {
-        char buf[11];
+        char buf[21];
         int i = 0;
         do {
             buf[i++] = (n % 10) + '0';