diff --git a/kern/kernel_stats.cc b/kern/kernel_stats.cc
index c0443aa909..7fd0f31aeb 100644
--- a/kern/kernel_stats.cc
+++ b/kern/kernel_stats.cc
@@ -295,6 +295,9 @@ Statistics::serialize(ostream &os)
     int exemode = themode;
     SERIALIZE_SCALAR(exemode);
     SERIALIZE_SCALAR(idleProcess);
+    SERIALIZE_SCALAR(iplLast);
+    SERIALIZE_SCALAR(iplLastTick);
+    SERIALIZE_SCALAR(lastModeTick);
 }
 
 void
@@ -303,6 +306,9 @@ Statistics::unserialize(Checkpoint *cp, const string &section)
     int exemode;
     UNSERIALIZE_SCALAR(exemode);
     UNSERIALIZE_SCALAR(idleProcess);
+    UNSERIALIZE_SCALAR(iplLast);
+    UNSERIALIZE_SCALAR(iplLastTick);
+    UNSERIALIZE_SCALAR(lastModeTick);
     themode = (cpu_mode)exemode;
 }