devices should increment pkt.time instead of assiging to it
authorAli Saidi <saidi@eecs.umich.edu>
Fri, 28 Apr 2006 19:38:43 +0000 (15:38 -0400)
committerAli Saidi <saidi@eecs.umich.edu>
Fri, 28 Apr 2006 19:38:43 +0000 (15:38 -0400)
commitc4b3a2fa0f0cbddbb3590964abf1f20a2f2bc6f3
treed33e8a30450721f6ec8271d4db0810af91f9b5f8
parent53d93ef9182aade99faa5996dece522d9aba88d1
devices should increment pkt.time instead of assiging to it

--HG--
extra : convert_revision : b4ca3c7fc13bf0856eb2a800a11d5611b473ec3e
12 files changed:
dev/alpha_console.cc
dev/ide_ctrl.cc
dev/io_device.cc
dev/io_device.hh
dev/isa_fake.cc
dev/ns_gige.cc
dev/pciconfigall.cc
dev/sinic.cc
dev/tsunami_cchip.cc
dev/tsunami_io.cc
dev/tsunami_pchip.cc
dev/uart8250.cc