diff --git a/kernel/src/system_calls.cpp b/kernel/src/system_calls.cpp
index d6dea625..031b1e2d 100644
--- a/kernel/src/system_calls.cpp
+++ b/kernel/src/system_calls.cpp
@@ -22,10 +22,6 @@ void sc_print_string(interrupt::syscall_regs* regs){
     k_print(reinterpret_cast<const char*>(regs->rbx));
 }
 
-void sc_print_digit(interrupt::syscall_regs* regs){
-    k_print(regs->rbx);
-}
-
 void sc_get_input(interrupt::syscall_regs* regs){
     auto ttyid = scheduler::get_process(scheduler::get_pid()).tty;
     auto& tty = stdio::get_terminal(ttyid);
@@ -120,10 +116,6 @@ void system_call_entry(interrupt::syscall_regs* regs){
             sc_print_string(regs);
             break;
 
-        case 2:
-            sc_print_digit(regs);
-            break;
-
         case 3:
             sc_get_input(regs);
             break;