Remove spinlock contexts

kernel/amd64/debug.c

@@ -35,8 +35,6 @@ static void amd64_debug_serial_write (char x) {
  * Formatted printing to serial. serial_lock ensures that all prints are atomic.
  */
 void debugprintf (const char* fmt, ...) {
-  spin_lock_ctx_t ctxdbgp;
-
   if (!debug_init)
     return;
 
@@ -52,14 +50,14 @@ void debugprintf (const char* fmt, ...) {
 
   const char* p = buffer;
 
-  spin_lock (&serial_lock, &ctxdbgp);
+  spin_lock (&serial_lock);
 
   while (*p) {
     amd64_debug_serial_write (*p);
     p++;
   }
 
-  spin_unlock (&serial_lock, &ctxdbgp);
+  spin_unlock (&serial_lock);
 }
 
 /* Initialize serial */