From c8e241211445db065745c0e171c3b00e1aff5431 Mon Sep 17 00:00:00 2001
From: David Li <li.davidm96@gmail.com>
Date: Sun, 10 Jan 2016 10:13:09 -0700
Subject: Add some syscall logging

---
 src/system.rs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/system.rs')

diff --git a/src/system.rs b/src/system.rs
index b8b928e..8875f28 100644
--- a/src/system.rs
+++ b/src/system.rs
@@ -57,12 +57,16 @@ impl<'a> SyscallHandler<'a> {
 
     fn enable_secondary(&mut self, core_id: usize,
                         registers: &mut RegisterFile) -> Option<Trap> {
+        debug!("[syscall] [memory] Secondary cache enabled for core {}",
+               core_id);
         self.caches[core_id].borrow_mut().enable_secondary();
         None
     }
 
     fn disable_secondary(&mut self, core_id: usize,
                          registers: &mut RegisterFile) -> Option<Trap> {
+        debug!("[syscall] [memory] Secondary cache disabled for core {}",
+               core_id);
         self.caches[core_id].borrow_mut().disable_secondary();
         None
     }
-- 
cgit v1.2.3