From f4f92b7d234720eb1bad0b362432d1d1fcfb9b79 Mon Sep 17 00:00:00 2001
From: Jan Stoess <stoess@ira.uka.de>
Date: Tue, 13 Apr 2010 15:09:27 +0200
Subject: [PATCH] Remove debugging cruft

---
 kernel/src/platform/generic/intctrl-apic.cc | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/kernel/src/platform/generic/intctrl-apic.cc b/kernel/src/platform/generic/intctrl-apic.cc
index 1fa98b81..913ced58 100755
--- a/kernel/src/platform/generic/intctrl-apic.cc
+++ b/kernel/src/platform/generic/intctrl-apic.cc
@@ -466,12 +466,8 @@ void intctrl_t::mask(word_t irq)
 {
     if (irq >= get_number_irqs())
 	return;
+    
     ASSERT(redir[irq].is_valid());
-#if defined(DEBUG_INTCTRL_MASKS)
-    TRACEPOINT (INTCTRL_MASK, 
-		   ("INTCTRL %d mask ra %x", 
-		    irq,   __builtin_return_address((0))));
-#endif
     redir[irq].entry.mask_irq();
 
     if (redir[irq].entry.is_level_triggered())
@@ -484,12 +480,6 @@ bool intctrl_t::unmask(word_t irq)
 	return false;
     
     ASSERT(redir[irq].is_valid());
-#if defined(DEBUG_INTCTRL_MASKS)
-    TRACEPOINT (INTCTRL_UNMASK, 
-		   ("INTCTRL %d unmask ra %x", 
-		    irq,   __builtin_return_address((0))));
-#endif
-    ASSERT(redir[irq].is_valid());
 
     if (redir[irq].entry.is_edge_triggered())
     {