diff options
Diffstat (limited to 'src/arch/arm')
| -rw-r--r-- | src/arch/arm/semihosting.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/arch/arm/semihosting.cc b/src/arch/arm/semihosting.cc index 3f9c0955c..2b769ef2d 100644 --- a/src/arch/arm/semihosting.cc +++ b/src/arch/arm/semihosting.cc @@ -47,7 +47,7 @@ #include "debug/Semihosting.hh" #include "dev/serial/serial.hh" #include "mem/physical.hh" -#include "mem/port_proxy.hh" +#include "mem/secure_port_proxy.hh" #include "params/ArmSemihosting.hh" #include "sim/byteswap.hh" #include "sim/sim_exit.hh" |