Fix: NDEBUG build failure after f2f1998

Error: 'Unused parameter'

src/kernel/drivers/x86/pc/8042_ps2.c

@@ -77,7 +77,8 @@ UINT ps2_read_data()
     if (ps2_canRead()) {
         return ps2_read_data_no_wait();
     }
-    k_assert (false, "PS2: Long wait for read");
+    // TODO: Should not panic. It is very much possible for device to ready.
+    k_panic ("PS2: Long wait for read");
 }
 
 void ps2_write_data (UINT port, UINT data)
@@ -87,7 +88,8 @@ void ps2_write_data (UINT port, UINT data)
         outb (port, data);
         return;
     }
-    k_assert (false, "PS2: Long wait for write");
+    // TODO: Should not panic. It is very much possible for device to ready.
+    k_panic ("PS2: Long wait for write");
 }
 
 bool ps2_write_device_cmd (const PS2PortInfo* const port, bool checkAck, UINT data)
@@ -109,13 +111,6 @@ bool ps2_write_device_cmd (const PS2PortInfo* const port, bool checkAck, UINT da
     return true;
 }
 
-static void read_configuration_byte (char* s)
-{
-    ps2_write_controller_cmd (CMD_READ_CONFIGURATION_BYTE);
-    UINT config = ps2_read_data();
-    kdebug_println ("%s: %x", s, config);
-}
-
 PS2DeviceType ps2_identify_device (PS2PortInfo* const port)
 {
     k_assert (port != NULL, "PS2 port cannot be null");
@@ -159,14 +154,11 @@ bool ps2_init()
     k_memset (&port2, 0, sizeof (port2));
     port2.isSecondPort = true;
 
-    read_configuration_byte ("First");
-
     // Step 1: Disable both PS/2 ports
     // --------------------------------------------------------
     ps2_write_controller_cmd (CMD_DISABLE_FIRST_PORT);
     ps2_write_controller_cmd (CMD_DISABLE_SECOND_PORT);
 
-    read_configuration_byte ("second");
     // Step 2: Flush the output (from device perspective) buffer
     // --------------------------------------------------------
     U8 discard;
@@ -203,8 +195,6 @@ bool ps2_init()
     ps2_write_controller_cmd (CMD_ENABLE_FIRST_PORT);  // This will turn on the clock for port 1
     ps2_write_controller_cmd (CMD_ENABLE_SECOND_PORT); // This will turn on the clock for port 2
 
-    read_configuration_byte ("final init");
-
     return true;
 }
 

src/kernel/drivers/x86/pc/ps2kb.c

@@ -58,6 +58,6 @@ void kb_interrupt_handler (InterruptFrame* frame)
 {
     (void)frame;
     U8 scancode = (U8)ps2_read_data_no_wait();
-    kdebug_println ("Keyboard ISR: Scancode: %x", scancode);
+    kearly_println ("Keyboard ISR: Scancode: %x", scancode);
     pic_send_eoi (X86_PC_IRQ_KEYBOARD);
 }

src/kernel/drivers/x86/pc/ps2mouse.c

@@ -60,6 +60,6 @@ void mouse_interrupt_handler (InterruptFrame* frame)
     U8 data1, data2, data3 = 0;
     data1 = (U8)ps2_read_data_no_wait();
     data2 = (U8)ps2_read_data_no_wait();
-    kdebug_println ("Mouse handler: %x, %x, %x", data1, data2, data3);
+    kearly_println ("Mouse handler: %x, %x, %x", data1, data2, data3);
     pic_send_eoi (X86_PC_IRQ_PS2_MOUSE);
 }