diff options
Diffstat (limited to 'src/dev/arm/pl111.cc')
| -rw-r--r-- | src/dev/arm/pl111.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/dev/arm/pl111.cc b/src/dev/arm/pl111.cc index 23ffe58c9..b12e7a352 100644 --- a/src/dev/arm/pl111.cc +++ b/src/dev/arm/pl111.cc @@ -38,14 +38,15 @@ * Ali Saidi */ -#include "base/vnc/vncinput.hh" +#include "dev/arm/pl111.hh" + #include "base/output.hh" #include "base/trace.hh" +#include "base/vnc/vncinput.hh" #include "debug/PL111.hh" #include "debug/Uart.hh" #include "dev/arm/amba_device.hh" #include "dev/arm/base_gic.hh" -#include "dev/arm/pl111.hh" #include "mem/packet.hh" #include "mem/packet_access.hh" #include "sim/system.hh" |