diff options
Diffstat (limited to 'dev/io_device.hh')
| -rw-r--r-- | dev/io_device.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/io_device.hh b/dev/io_device.hh index 8e44a1c00..b25048e3d 100644 --- a/dev/io_device.hh +++ b/dev/io_device.hh @@ -57,7 +57,7 @@ class PioPort : public Port /** The platform that device/port are in. This is used to select which mode * we are currently operating in. */ - Platfrom *platform; + Platform *platform; /** A list of outgoing timing response packets that haven't been serviced * yet. */ |