diff options
| -rw-r--r-- | kern/kernel_stats.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/kern/kernel_stats.cc b/kern/kernel_stats.cc index c0443aa90..7fd0f31ae 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 §ion) int exemode; UNSERIALIZE_SCALAR(exemode); UNSERIALIZE_SCALAR(idleProcess); + UNSERIALIZE_SCALAR(iplLast); + UNSERIALIZE_SCALAR(iplLastTick); + UNSERIALIZE_SCALAR(lastModeTick); themode = (cpu_mode)exemode; } |