dev: Do not serialize timer parameters
authorAndreas Hansson <andreas.hansson@arm.com>
Mon, 7 Jan 2013 18:05:39 +0000 (13:05 -0500)
committerAndreas Hansson <andreas.hansson@arm.com>
Mon, 7 Jan 2013 18:05:39 +0000 (13:05 -0500)
commit9364d35b8bce516459be09bb13891600921e9e6e
treef6db92857eacf36badca9e79c721d2822fc7c1d9
parent406891c62a4948ddee3c83a18b5d1453b159953d
dev: Do not serialize timer parameters

This patch removes the intNum and clock from the serialized scalars as
these are set by the Python parameters and should not be part of the
checkpoint.
src/dev/arm/timer_sp804.cc
src/dev/arm/timer_sp804.hh