diff --git a/src/dev/arm/timer_sp804.cc b/src/dev/arm/timer_sp804.cc
index 407f35b60..af0227ec4 100644
--- a/src/dev/arm/timer_sp804.cc
+++ b/src/dev/arm/timer_sp804.cc
@@ -224,8 +224,6 @@ void
 Sp804::Timer::serialize(std::ostream &os)
 {
     DPRINTF(Checkpoint, "Serializing Arm Sp804\n");
-    SERIALIZE_SCALAR(intNum);
-    SERIALIZE_SCALAR(clock);
 
     uint32_t control_serial = control;
     SERIALIZE_SCALAR(control_serial);
@@ -249,9 +247,6 @@ Sp804::Timer::unserialize(Checkpoint *cp, const std::string &section)
 {
     DPRINTF(Checkpoint, "Unserializing Arm Sp804\n");
 
-    UNSERIALIZE_SCALAR(intNum);
-    UNSERIALIZE_SCALAR(clock);
-
     uint32_t control_serial;
     UNSERIALIZE_SCALAR(control_serial);
     control = control_serial;
diff --git a/src/dev/arm/timer_sp804.hh b/src/dev/arm/timer_sp804.hh
index 9f137001d..745cb95e3 100644
--- a/src/dev/arm/timer_sp804.hh
+++ b/src/dev/arm/timer_sp804.hh
@@ -83,10 +83,10 @@ class Sp804 : public AmbaDevice
         Sp804 *parent;
 
         /** Number of interrupt to cause/clear */
-        uint32_t intNum;
+        const uint32_t intNum;
 
         /** Number of ticks in a clock input */
-        Tick clock;
+        const Tick clock;
 
         /** Control register as specified above */
         CTRL control;