diff options
Diffstat (limited to 'src/dev')
| -rw-r--r-- | src/dev/ns_gige.cc | 1 | ||||
| -rw-r--r-- | src/dev/sinic.cc | 2 |
2 files changed, 0 insertions, 3 deletions
diff --git a/src/dev/ns_gige.cc b/src/dev/ns_gige.cc index 67f8e0345..9a6ea5c6b 100644 --- a/src/dev/ns_gige.cc +++ b/src/dev/ns_gige.cc @@ -40,7 +40,6 @@ #include "base/inet.hh" #include "base/types.hh" #include "config/the_isa.hh" -#include "cpu/thread_context.hh" #include "debug/EthernetAll.hh" #include "dev/etherlink.hh" #include "dev/ns_gige.hh" diff --git a/src/dev/sinic.cc b/src/dev/sinic.cc index c2d5fb49d..02eb8a113 100644 --- a/src/dev/sinic.cc +++ b/src/dev/sinic.cc @@ -38,8 +38,6 @@ #include "base/inet.hh" #include "base/types.hh" #include "config/the_isa.hh" -#include "cpu/intr_control.hh" -#include "cpu/thread_context.hh" #include "debug/EthernetAll.hh" #include "dev/etherlink.hh" #include "dev/sinic.hh" |