working memory manager

1 files changed, 0 insertions, 24 deletions

diff --git a/src/kernel/vga.c b/src/kernel/vga.c
index 78da721..5fd8a46 100644
--- a/src/kernel/vga.c
+++ b/src/kernel/vga.c
@@ -70,30 +70,6 @@ void put_sz(uint8_t *sz) {
     put_char(*(sz++));
 }
 
-void put_16(uint16_t n) {
-  bool s = false;
-  if (n / 10000) {
-    put_char((uint8_t)'0' + n / 10000);
-    s = true;
-  }
-  n %= 10000;
-  if (n / 1000 || s) {
-    put_char((uint8_t)'0' + n / 1000);
-    s = true;
-  }
-  n %= 1000;
-  if (n / 100 || s) {
-    put_char((uint8_t)'0' + n / 100);
-    s = true;
-  }
-  n %= 100;
-  if (n / 10 || s) {
-    put_char((uint8_t)'0' + n / 10);
-    s = true;
-  }
-  put_char((uint8_t)'0' + n % 10);
-}
-
 void put_32_hex(uint32_t n) {
   for (uint8_t i = 0; i < 4; ++i) {
     put_char("0123456789abcdef"[n >> 28]);