diff options
-rw-r--r-- | c/src/lib/libbsp/mips/p4000/start/start.S | 6 | ||||
-rw-r--r-- | c/src/lib/libbsp/mips64orion/p4000/start/start.S | 6 | ||||
-rw-r--r-- | c/src/lib/start/mips64orion/idt_csu.S | 6 |
3 files changed, 9 insertions, 9 deletions
diff --git a/c/src/lib/libbsp/mips/p4000/start/start.S b/c/src/lib/libbsp/mips/p4000/start/start.S index 8dc31c8999..88646f520f 100644 --- a/c/src/lib/libbsp/mips/p4000/start/start.S +++ b/c/src/lib/libbsp/mips/p4000/start/start.S @@ -31,9 +31,9 @@ LICENSED MATERIAL - PROGRAM PROPERTY OF IDT ** idt_csu.S -- IDT stand alone startup code ** **************************************************************************/ -#include <rtems/score/iregdef.h> -#include <rtems/score/idtcpu.h> -#include <rtems/score/idtmon.h> +#include <iregdef.h> +#include <idtcpu.h> +#include <idtmon.h> .extern _fbss,4 /* this is defined by the linker */ diff --git a/c/src/lib/libbsp/mips64orion/p4000/start/start.S b/c/src/lib/libbsp/mips64orion/p4000/start/start.S index 8dc31c8999..88646f520f 100644 --- a/c/src/lib/libbsp/mips64orion/p4000/start/start.S +++ b/c/src/lib/libbsp/mips64orion/p4000/start/start.S @@ -31,9 +31,9 @@ LICENSED MATERIAL - PROGRAM PROPERTY OF IDT ** idt_csu.S -- IDT stand alone startup code ** **************************************************************************/ -#include <rtems/score/iregdef.h> -#include <rtems/score/idtcpu.h> -#include <rtems/score/idtmon.h> +#include <iregdef.h> +#include <idtcpu.h> +#include <idtmon.h> .extern _fbss,4 /* this is defined by the linker */ diff --git a/c/src/lib/start/mips64orion/idt_csu.S b/c/src/lib/start/mips64orion/idt_csu.S index 8dc31c8999..88646f520f 100644 --- a/c/src/lib/start/mips64orion/idt_csu.S +++ b/c/src/lib/start/mips64orion/idt_csu.S @@ -31,9 +31,9 @@ LICENSED MATERIAL - PROGRAM PROPERTY OF IDT ** idt_csu.S -- IDT stand alone startup code ** **************************************************************************/ -#include <rtems/score/iregdef.h> -#include <rtems/score/idtcpu.h> -#include <rtems/score/idtmon.h> +#include <iregdef.h> +#include <idtcpu.h> +#include <idtmon.h> .extern _fbss,4 /* this is defined by the linker */ |