Use reg32_t for registers.
[bertos.git] / cpu / arm / io / at91sam7s256.h
index 6c22208e44922d912860f22dee52299f5edf7083..e59733b5b6c555553dea0b8c6535445e0cb1009e 100644 (file)
  * For additional information see http://www.ethernut.de/
  */
 
-#ifndef AT91SAM7S_H
-#define AT91SAM7S_H
+#ifndef AT91SAM7S256_H
+#define AT91SAM7S256_H
+
+#include <cfg/compiler.h>
 
 #define FLASH_BASE      0x100000UL
 #define RAM_BASE        0x200000UL
 #define PB30_PWM3_B         30
 /*\}*/
 
-#endif /* AT91SAM7S_H */
+#endif /* AT91SAM7S256_H */