]> git.dujemihanovic.xyz Git - u-boot.git/commitdiff
Patch by George G. Davis, 24 Aug 2004:
authorwdenk <wdenk>
Sun, 10 Oct 2004 18:41:04 +0000 (18:41 +0000)
committerwdenk <wdenk>
Sun, 10 Oct 2004 18:41:04 +0000 (18:41 +0000)
- update ARM boards to use constants from mach-types.h

36 files changed:
CHANGELOG
board/assabet/assabet.c
board/at91rm9200dk/at91rm9200dk.c
board/cerf250/cerf250.c
board/cradle/cradle.c
board/csb226/csb226.c
board/dave/B2/B2.c
board/dnp1110/dnp1110.c
board/ep7312/ep7312.c
board/gcplus/gcplus.c
board/impa7/impa7.c
board/integratorap/integratorap.c
board/integratorcp/integratorcp.c
board/ixdp425/ixdp425.c
board/lart/lart.c
board/lubbock/lubbock.c
board/mpl/vcma9/vcma9.c
board/mx1ads/mx1ads.c
board/mx1fs2/mx1fs2.c
board/ns9750dev/ns9750dev.c
board/omap1510inn/omap1510innovator.c
board/omap1610inn/omap1610innovator.c
board/omap5912osk/omap5912osk.c
board/omap730p2/omap730p2.c
board/scb9328/scb9328.c
board/shannon/shannon.c
board/smdk2400/smdk2400.c
board/smdk2410/smdk2410.c
board/sx1/sx1.c
board/trab/trab.c
board/versatile/versatile.c
board/wepep250/wepep250.c
board/xm250/xm250.c
board/xsengine/xsengine.c
include/asm-arm/mach-types.h
include/common.h

index db8cc8b61b952149ea1e0be6e8b060a57397db9a..89375c91bca6b72c0d458b909a8d720561e92ac8 100644 (file)
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -2,6 +2,9 @@
 Changes since U-Boot 1.1.1:
 ======================================================================
 
+* Patch by George G. Davis, 24 Aug 2004:
+  - update ARM boards to use constants from mach-types.h
+
 * Patch by Gary Jennejohn, 04 Oct 2004:
   - fix I2C on at91rm9200
   - add support for Ricoh RS5C372A RTC
index 0958c3389e291bedb4c12160cf9e029cf93ea5d1..d3ccbb536763453e669a43949fa49d0049dcbcd4 100644 (file)
@@ -101,7 +101,7 @@ board_init(void)
 {
        DECLARE_GLOBAL_DATA_PTR;
 
-       gd->bd->bi_arch_number = 25;    /* Intel Assabet Board */
+       gd->bd->bi_arch_number = MACH_TYPE_ASSABET;
        gd->bd->bi_boot_params = 0xc0000100;
 
        neponset_init();
index 606ea488162f9f24fc1d7816cb247124354723aa..2cb60b0fa38bd42b62d26564db1d20228e3a6dbe 100644 (file)
@@ -45,7 +45,7 @@ int board_init (void)
        /* so we do _nothing_ here */
 
        /* arch number of AT91RM9200DK-Board */
-       gd->bd->bi_arch_number = 251;
+       gd->bd->bi_arch_number = MACH_TYPE_AT91RM9200;
        /* adress of boot parameters */
        gd->bd->bi_boot_params = PHYS_SDRAM + 0x100;
 
index 63745b4fdbf01ef2f2b697e14d3a8a6d058ea789..cc1bc16f6e127904548a26535d93c47bb30fc29d 100644 (file)
@@ -42,7 +42,7 @@ int board_init (void)
        /* so we do _nothing_ here */
 
        /* arch number of cerf PXA Board */
-       gd->bd->bi_arch_number = 139;
+       gd->bd->bi_arch_number = MACH_TYPE_PXA_CERF;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0xa0000100;
index f5c99b15f07681c16aea411acb08109fdba77f16..6f65f3275731294158deb8c6e5ec7fec98879529 100644 (file)
@@ -186,7 +186,7 @@ board_init (void)
        led_code (0xf, YELLOW);
 
        /* arch number of HHP Cradle */
-       gd->bd->bi_arch_number = 174;
+       gd->bd->bi_arch_number = MACH_TYPE_HHP_CRADLE;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0xa0000100;
index bf9b4f840d2b42da546756d50d870d2b1ce12437..c99a71557c0799b3a7cc4bb753415c762ccbd24b 100644 (file)
@@ -71,7 +71,7 @@ int board_init (void)
        /* so we do _nothing_ here */
 
        /* arch number of CSB226 board */
-       gd->bd->bi_arch_number = 216;
+       gd->bd->bi_arch_number = MACH_TYPE_CSB226;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0xa0000100;
index a6ab91791011de8327ebc6be1e232b05d5ad26a5..29676b800fc58bb1146569cb3c68688b0ea2dc2e 100644 (file)
@@ -109,7 +109,7 @@ int board_init (void)
     PDATF = temp;
 
        /* arch number MACH_TYPE_MBA44B0 */
-       gd->bd->bi_arch_number = 178;
+       gd->bd->bi_arch_number = MACH_TYPE_S3C44B0;
 
        /* location of boot parameters */
        gd->bd->bi_boot_params = 0x0c000100;
index 4a2b44e0e080b3c4fde0899dbcdf76c15d36382b..24c3e00c7f57ae423d90f856b3b4b74650e8f5f8 100644 (file)
@@ -39,7 +39,7 @@ int board_init (void)
        /* so we do _nothing_ here */
 
        /* arch number of DNP1110-Board */
-       gd->bd->bi_arch_number = 255;
+       gd->bd->bi_arch_number = MACH_TYPE_DNP1110;
 
     /* flash vpp on */
     PPDR |= 0x80;      /* assumes LCD controller is off */
index 4f9e5aca83ec5e6741f70edccdec18081fba41f8..11eab234bce967bbfe19660b8c57d8a1ab02d2a3 100644 (file)
@@ -40,7 +40,7 @@ int board_init (void)
        IO_LEDFLSH = 0x40;
 
        /* arch number MACH_TYPE_EDB7312 */
-       gd->bd->bi_arch_number = 131;
+       gd->bd->bi_arch_number = MACH_TYPE_EDB7312;
 
        /* location of boot parameters */
        gd->bd->bi_boot_params = 0xc0020100;
index 06b6098a3cdfbf39e6dee39d94dfa639fc597fad..261e894f46f6e68c39dac61e7c11632ac1b6c698 100644 (file)
@@ -37,7 +37,7 @@ board_init(void)
 {
        DECLARE_GLOBAL_DATA_PTR;
 
-       gd->bd->bi_arch_number = 29;    /* ADS GraphicsClientPlus Board */
+       gd->bd->bi_arch_number = MACH_TYPE_GRAPHICSCLIENT;
 
        gd->bd->bi_boot_params = 0xc000003c; /* Weird address? */
 
index 12eb0db04eb28a5213157bf8d269797744b59fcd..e49692328246eb6050920b16d17325fa82e19dda 100644 (file)
@@ -40,7 +40,7 @@ int board_init (void)
        IO_LEDFLSH = 0x40;
 
        /* arch number of EP7111 */
-       gd->bd->bi_arch_number = 50;
+       gd->bd->bi_arch_number = MACH_TYPE_EDB7211;
 
        /* location of boot parameters for EP7111 */
        gd->bd->bi_boot_params = 0xc0020100;
index 3ab74f06b816b9b5ba69a0ed495405edae797670..fb83c82c15a050f86c02bb8ff7a2c6dbd8e81af9 100644 (file)
@@ -68,7 +68,7 @@ int board_init (void)
        DECLARE_GLOBAL_DATA_PTR;
 
        /* arch number of Integrator Board */
-       gd->bd->bi_arch_number = 21;
+       gd->bd->bi_arch_number = MACH_TYPE_INTEGRATOR;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x00000100;
index 8da869c486da7950e2d7f3ced44f54f5ea6c68df..6fe8f05babb65e97a4de48ab0774595728117c81 100644 (file)
@@ -64,7 +64,7 @@ int board_init (void)
        DECLARE_GLOBAL_DATA_PTR;
 
        /* arch number of Integrator Board */
-       gd->bd->bi_arch_number = 275;
+       gd->bd->bi_arch_number = MACH_TYPE_CINTEGRATOR;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x00000100;
index 1b34f96027f3e1ec8c17f78aa2a38f23c4a3a54e..09e5fdfc0f0d26e0746faa4e87cd96b2d3b26133 100644 (file)
@@ -54,7 +54,7 @@ board_init (void)
        DECLARE_GLOBAL_DATA_PTR;
 
        /* arch number of IXDP */
-       gd->bd->bi_arch_number = 245;
+       gd->bd->bi_arch_number = MACH_TYPE_IXDP425;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x00000100;
index 20f22ea0aca7594980a190eebc40ef14d5556802..66b730dba7fe68a46f136ed3d04899d5932da050 100644 (file)
@@ -39,7 +39,7 @@ int board_init (void)
        /* so we do _nothing_ here */
 
        /* arch number of LART-Board */
-       gd->bd->bi_arch_number = 27;
+       gd->bd->bi_arch_number = MACH_TYPE_LART;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0xc0000100;
index 353c7224653019b0b6df9d6760b0266b3e832ecd..e618ab96a1d4cc24d244c803c586126060e909bc 100644 (file)
@@ -42,7 +42,7 @@ int board_init (void)
        /* so we do _nothing_ here */
 
        /* arch number of Lubbock-Board */
-       gd->bd->bi_arch_number = 89;
+       gd->bd->bi_arch_number = MACH_TYPE_LUBBOCK;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0xa0000100;
index db98553439b88f1fe78630a9500286a587602acb..ffdba5d990da9dee8f671b334d15a2f59819c614 100644 (file)
@@ -119,7 +119,7 @@ int board_init(void)
        serial_init();
 
        /* arch number of VCMA9-Board */
-       gd->bd->bi_arch_number = 227;
+       gd->bd->bi_arch_number = MACH_TYPE_MPL_VCMA9;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x30000100;
index 661fbab0ab4eed1875a2ee0c191882bf6a160870..332f0a2beb3be60769c673b4c4c39f6cc50a26c3 100644 (file)
@@ -114,7 +114,7 @@ int board_init (void) {
 
        SetAsynchMode();
 
-       gd->bd->bi_arch_number = 160;   /* Arch number of MX1ADS Board          */
+       gd->bd->bi_arch_number = MACH_TYPE_MX1ADS;
 
        gd->bd->bi_boot_params = 0x08000100;    /* adress of boot parameters    */
 
index f51085a979103768045727f408a8058116d07a8e..9e7a06c0df7c41fc46d802c678188ae20e41699a 100644 (file)
@@ -81,7 +81,7 @@ board_init(void)
 {
        DECLARE_GLOBAL_DATA_PTR;
 
-       gd->bd->bi_arch_number = 470;
+       gd->bd->bi_arch_number = MACH_TYPE_MX1FS2;
        gd->bd->bi_boot_params = 0x08000100;
 serial_init();
        logo_init();
index 0ea89a5d809d40d3908e2cb6e889c427a3cd3176..ea00d5af2593683d0c8174504cd2092a4d295e09 100644 (file)
@@ -65,7 +65,7 @@ int board_init( void )
        /* Active BBUS modules */
        *get_bbus_reg_addr( NS9750_BBUS_MASTER_RESET ) = 0;
 
-#warning TODO check numbers
+#warning Please register your machine at http://www.arm.linux.org.uk/developer/machines/?action=new
        /* arch number of OMAP 1510-Board */
        /* to be changed for OMAP 1610 Board */
        gd->bd->bi_arch_number = 234;
index eba010a80455edabe4023726a90674e8ef1236ce..f037f42d4198a1bc7549d80b5941f8351feb5c05 100644 (file)
@@ -50,7 +50,7 @@ int board_init (void)
        DECLARE_GLOBAL_DATA_PTR;
 
        /* arch number of OMAP 1510-Board */
-       gd->bd->bi_arch_number = 234;
+       gd->bd->bi_arch_number = MACH_TYPE_OMAP_INNOVATOR;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x10000100;
index 57f1e8961a8e67716338e99196f2463c409eb2b8..78425181e894f7d0c21d1492f5bf21068bb70f03 100644 (file)
@@ -32,7 +32,6 @@
  */
 
 #include <common.h>
-#include <asm/mach-types.h>
 #if defined(CONFIG_OMAP1610)
 #include <./configs/omap1510.h>
 #endif
index 27457a1980d8781489b440b051017c64e16be4a0..1faa084f94ef84bb50b7f73231cbfcab434f7842 100644 (file)
@@ -60,9 +60,7 @@ int board_init (void)
 {
        DECLARE_GLOBAL_DATA_PTR;
 
-       /* arch number of OMAP 1510-Board */
-       /* to be changed for OMAP 1610 Board */
-       gd->bd->bi_arch_number = 234;
+       gd->bd->bi_arch_number = MACH_TYPE_OMAP_OSK;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x10000100;
index 870cb912f82f26f23c74a6fdabe20217ba60354b..256c6a665d8eb41a2c36b9c16f9b21f75696778d 100644 (file)
@@ -87,7 +87,7 @@ int board_init (void)
        DECLARE_GLOBAL_DATA_PTR;
 
        /* arch number of OMAP 730 P2 Board - Same as the Innovator! */
-       gd->bd->bi_arch_number = 491;
+       gd->bd->bi_arch_number = MACH_TYPE_OMAP_PERSEUS2;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x10000100;
index a1fe0aefeb300431a91bfff2e8086b7eb06022f0..3ed8753e210e8851dab89af06aad92a57ee30cb7 100644 (file)
@@ -29,7 +29,7 @@
 int board_init( void ){
   DECLARE_GLOBAL_DATA_PTR;
 
-  gd->bd->bi_arch_number = 508;
+  gd->bd->bi_arch_number = MACH_TYPE_SCB9328;
   gd->bd->bi_boot_params = 0x08000100;
 
   return 0;
index c090bde4aab5a3c9793b50395b6b962c0fd46af8..0d9f146d5224ffe59a080d6a585266bb5a03ea79 100644 (file)
@@ -63,7 +63,7 @@ int board_init (void)
 #endif /* CONFIG_INFERNO */
 
        /* arch number for shannon */
-       gd->bd->bi_arch_number = 97;
+       gd->bd->bi_arch_number = MACH_TYPE_SHANNON;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0xc0000100;
index 2d6be31befb22a4d0932da701433c7c83f0f521e..cb70218434be15a05a4340a31660d5ef10516d6a 100644 (file)
@@ -77,7 +77,7 @@ int board_init (void)
        gpio->OPENCR = 0x0;
 
        /* arch number of SAMSUNG-Board to MACH_TYPE_SMDK2400 */
-       gd->bd->bi_arch_number = 145;
+       gd->bd->bi_arch_number = MACH_TYPE_SMDK2400;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x0C000100;
index 207cd448ff7742a74b71cecf81e01d8ad20ac85f..9623aeff32b8881929f3ceee7c98bad103a71bd1 100644 (file)
@@ -104,7 +104,7 @@ int board_init (void)
        gpio->GPHUP = 0x000007FF;
 
        /* arch number of SMDK2410-Board */
-       gd->bd->bi_arch_number = 193;
+       gd->bd->bi_arch_number = MACH_TYPE_SMDK2410;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x30000100;
index c14a385b1259ff900be2105b7f54b7be5a3d8da3..e45f6ae4f3466eb7e273fa65b83efa8c0dc04874 100644 (file)
@@ -46,7 +46,7 @@ int board_init (void)
        DECLARE_GLOBAL_DATA_PTR;
 
        /* arch number of SX1 Board */
-       gd->bd->bi_arch_number = 241;
+       gd->bd->bi_arch_number = MACH_TYPE_SX1;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x10000100;
index fb57f5bcfa31c94f53083c10b8dba2b275daa2b0..e8dfd2ceb0b1476dbff743506865e03b885bc664 100644 (file)
@@ -57,7 +57,7 @@ static void udelay_no_timer (int usec)
        int i;
        int delay = usec * 3;
 
-       for (i = 0; i < delay; i ++) gd->bd->bi_arch_number = 145;
+       for (i = 0; i < delay; i ++) gd->bd->bi_arch_number = MACH_TYPE_TRAB;
 }
 #endif /* CONFIG_MODEM_SUPPORT */
 
@@ -109,10 +109,7 @@ int board_init ()
        gpio->MISCCR = 0x40;
        gpio->PFCON |= (2<<12);
 
-       /* arch number of SAMSUNG-Board */
-       /* MACH_TYPE_SMDK2400 */
-       /* XXX this isn't really correct, but keep it for now */
-       gd->bd->bi_arch_number = 145;
+       gd->bd->bi_arch_number = MACH_TYPE_TRAB;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x0c000100;
index 17701dc9ca2da4e7d6a1ac75ea38bea130d9c646..0274027096fda0951ddfe38599baecee089a0d35 100644 (file)
@@ -74,7 +74,7 @@ int board_init (void)
           (VERSATILE_TIMCLK << VERSATILE_TIMER3_EnSel) | (VERSATILE_TIMCLK << VERSATILE_TIMER4_EnSel));
 
        /* arch number of Versatile Board */
-       gd->bd->bi_arch_number = 387;
+       gd->bd->bi_arch_number = MACH_TYPE_VERSATILE_PB;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0x00000100;
index 581818316e72dd4878370eb518f5ec6226ecae90..56cb855af0190e05474efd32493f043abf8bea72 100644 (file)
@@ -26,7 +26,7 @@
 int board_init( void ){
   DECLARE_GLOBAL_DATA_PTR;
 
-  gd->bd->bi_arch_number = 288;
+  gd->bd->bi_arch_number = MACH_TYPE_WEP_EP250;
   gd->bd->bi_boot_params = 0xa0000000;
 /*
  * Setup GPIO stuff to get serial working
index 2a4348dac233286ffa658b2b52dafa2507c29d77..ef5e9da0e3e8c12acfb810dc0c19f9050ebe4b8b 100644 (file)
@@ -63,7 +63,7 @@ board_init (void)
 {
        DECLARE_GLOBAL_DATA_PTR;
        /* arch number of MicroSys XM250 */
-       gd->bd->bi_arch_number = 444;
+       gd->bd->bi_arch_number = MACH_TYPE_XM250;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0xa0000100;
index c33b6f04b983623b9a352e07f479a861f53f95f2..a9919dbaa651b6ccdea677c6d06344e6262bff0b 100644 (file)
@@ -39,7 +39,7 @@ int board_init (void)
        /* so we do _nothing_ here */
 
        /* arch number */
-       gd->bd->bi_arch_number = 532;
+       gd->bd->bi_arch_number = MACH_TYPE_XSENGINE;
 
        /* adress of boot parameters */
        gd->bd->bi_boot_params = 0xa0000100;
index 6a51e75f03841455e4485e9f928198d8594d911a..e482115920d04dc3c36712d46146095747181e56 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * This was automagically generated from arch/arm/tools/mach-types!
+ * This was automagically generated from mach-types!
  * Do NOT edit
  */
 
@@ -565,6 +565,65 @@ extern unsigned int __machine_arch_type;
 #define MACH_TYPE_SATURN               552
 #define MACH_TYPE_ARGONPLUSEVB         553
 #define MACH_TYPE_SCMA11EVB            554
+#define MACH_TYPE_SMDK2800             555
+#define MACH_TYPE_MTWILSON             556
+#define MACH_TYPE_ZITI                 557
+#define MACH_TYPE_GRANDFATHER          558
+#define MACH_TYPE_TENGINE              559
+#define MACH_TYPE_S3C2460              560
+#define MACH_TYPE_PDM                  561
+#define MACH_TYPE_H4700                562
+#define MACH_TYPE_H6300                563
+#define MACH_TYPE_RZ1700               564
+#define MACH_TYPE_A716                 565
+#define MACH_TYPE_ESTK2440A            566
+#define MACH_TYPE_ATWIXP425            567
+#define MACH_TYPE_CSB336               568
+#define MACH_TYPE_RIRM2                569
+#define MACH_TYPE_CX23518              570
+#define MACH_TYPE_CX2351X              571
+#define MACH_TYPE_COMPUTIME            572
+#define MACH_TYPE_IZARUS               573
+#define MACH_TYPE_RTS                  574
+#define MACH_TYPE_SE5100               575
+#define MACH_TYPE_S3C2510              576
+#define MACH_TYPE_CSB437TL             577
+#define MACH_TYPE_SLAUSON              578
+#define MACH_TYPE_PEARLRIVER           579
+#define MACH_TYPE_TDC_P210             580
+#define MACH_TYPE_SG580                581
+#define MACH_TYPE_WRSBCARM7            582
+#define MACH_TYPE_IPD                  583
+#define MACH_TYPE_PXA_DNP2110          584
+#define MACH_TYPE_XAENIAX              585
+#define MACH_TYPE_SOMN4250             586
+#define MACH_TYPE_PLEB2                587
+#define MACH_TYPE_CWL                  588
+#define MACH_TYPE_GD                   589
+#define MACH_TYPE_CHAFFEE              590
+#define MACH_TYPE_RMS101               591
+#define MACH_TYPE_RX3715               592
+#define MACH_TYPE_SWIFT                593
+#define MACH_TYPE_ROVERP7              594
+#define MACH_TYPE_PR818S               595
+#define MACH_TYPE_TRXPRO               596
+#define MACH_TYPE_NSLU2                597
+#define MACH_TYPE_E400                 598
+#define MACH_TYPE_TRAB                 599
+#define MACH_TYPE_CMC_PU2              600
+#define MACH_TYPE_FULCRUM              601
+#define MACH_TYPE_NETGATE42X           602
+#define MACH_TYPE_STR710               603
+#define MACH_TYPE_IXDPG425             604
+#define MACH_TYPE_TOMTOMGO             605
+#define MACH_TYPE_VERSATILE_AB         606
+#define MACH_TYPE_EDB9307              607
+#define MACH_TYPE_SG565                608
+#define MACH_TYPE_LPD79524             609
+#define MACH_TYPE_LPD79525             610
+#define MACH_TYPE_RMS100               611
+#define MACH_TYPE_KB9200               612
+#define MACH_TYPE_SX1                  613
 
 #ifdef CONFIG_ARCH_EBSA110
 # ifdef machine_arch_type
@@ -6669,9 +6728,9 @@ extern unsigned int __machine_arch_type;
 # else
 #  define machine_arch_type    MACH_TYPE_MONTAJADE
 # endif
-# define machine_is_montajade()        (machine_arch_type == MACH_TYPE_MONTAJADE)
+# define machine_is_montejade()        (machine_arch_type == MACH_TYPE_MONTAJADE)
 #else
-# define machine_is_montajade()        (0)
+# define machine_is_montejade()        (0)
 #endif
 
 #ifdef CONFIG_MACH_SG560
@@ -7178,6 +7237,714 @@ extern unsigned int __machine_arch_type;
 # define machine_is_scma11evb()        (0)
 #endif
 
+#ifdef CONFIG_MACH_SMDK2800
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_SMDK2800
+# endif
+# define machine_is_smdk2800() (machine_arch_type == MACH_TYPE_SMDK2800)
+#else
+# define machine_is_smdk2800() (0)
+#endif
+
+#ifdef CONFIG_MACH_MTWILSON
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_MTWILSON
+# endif
+# define machine_is_mtwilson() (machine_arch_type == MACH_TYPE_MTWILSON)
+#else
+# define machine_is_mtwilson() (0)
+#endif
+
+#ifdef CONFIG_MACH_ZITI
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_ZITI
+# endif
+# define machine_is_ziti()     (machine_arch_type == MACH_TYPE_ZITI)
+#else
+# define machine_is_ziti()     (0)
+#endif
+
+#ifdef CONFIG_MACH_GRANDFATHER
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_GRANDFATHER
+# endif
+# define machine_is_grandfather()      (machine_arch_type == MACH_TYPE_GRANDFATHER)
+#else
+# define machine_is_grandfather()      (0)
+#endif
+
+#ifdef CONFIG_MACH_TENGINE
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_TENGINE
+# endif
+# define machine_is_tengine()  (machine_arch_type == MACH_TYPE_TENGINE)
+#else
+# define machine_is_tengine()  (0)
+#endif
+
+#ifdef CONFIG_MACH_S3C2460
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_S3C2460
+# endif
+# define machine_is_s3c2460()  (machine_arch_type == MACH_TYPE_S3C2460)
+#else
+# define machine_is_s3c2460()  (0)
+#endif
+
+#ifdef CONFIG_MACH_PDM
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_PDM
+# endif
+# define machine_is_pdm()      (machine_arch_type == MACH_TYPE_PDM)
+#else
+# define machine_is_pdm()      (0)
+#endif
+
+#ifdef CONFIG_MACH_H4700
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_H4700
+# endif
+# define machine_is_h4700()    (machine_arch_type == MACH_TYPE_H4700)
+#else
+# define machine_is_h4700()    (0)
+#endif
+
+#ifdef CONFIG_MACH_H6300
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_H6300
+# endif
+# define machine_is_h6300()    (machine_arch_type == MACH_TYPE_H6300)
+#else
+# define machine_is_h6300()    (0)
+#endif
+
+#ifdef CONFIG_MACH_RZ1700
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_RZ1700
+# endif
+# define machine_is_rz1700()   (machine_arch_type == MACH_TYPE_RZ1700)
+#else
+# define machine_is_rz1700()   (0)
+#endif
+
+#ifdef CONFIG_MACH_A716
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_A716
+# endif
+# define machine_is_a716()     (machine_arch_type == MACH_TYPE_A716)
+#else
+# define machine_is_a716()     (0)
+#endif
+
+#ifdef CONFIG_MACH_ESTK2440A
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_ESTK2440A
+# endif
+# define machine_is_estk2440a()        (machine_arch_type == MACH_TYPE_ESTK2440A)
+#else
+# define machine_is_estk2440a()        (0)
+#endif
+
+#ifdef CONFIG_MACH_ATWIXP425
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_ATWIXP425
+# endif
+# define machine_is_atwixp425()        (machine_arch_type == MACH_TYPE_ATWIXP425)
+#else
+# define machine_is_atwixp425()        (0)
+#endif
+
+#ifdef CONFIG_MACH_CSB336
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_CSB336
+# endif
+# define machine_is_csb336()   (machine_arch_type == MACH_TYPE_CSB336)
+#else
+# define machine_is_csb336()   (0)
+#endif
+
+#ifdef CONFIG_MACH_RIRM2
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_RIRM2
+# endif
+# define machine_is_rirm2()    (machine_arch_type == MACH_TYPE_RIRM2)
+#else
+# define machine_is_rirm2()    (0)
+#endif
+
+#ifdef CONFIG_MACH_CX23518
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_CX23518
+# endif
+# define machine_is_cx23518()  (machine_arch_type == MACH_TYPE_CX23518)
+#else
+# define machine_is_cx23518()  (0)
+#endif
+
+#ifdef CONFIG_MACH_CX2351X
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_CX2351X
+# endif
+# define machine_is_cx2351x()  (machine_arch_type == MACH_TYPE_CX2351X)
+#else
+# define machine_is_cx2351x()  (0)
+#endif
+
+#ifdef CONFIG_MACH_COMPUTIME
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_COMPUTIME
+# endif
+# define machine_is_computime()        (machine_arch_type == MACH_TYPE_COMPUTIME)
+#else
+# define machine_is_computime()        (0)
+#endif
+
+#ifdef CONFIG_MACH_IZARUS
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_IZARUS
+# endif
+# define machine_is_izarus()   (machine_arch_type == MACH_TYPE_IZARUS)
+#else
+# define machine_is_izarus()   (0)
+#endif
+
+#ifdef CONFIG_MACH_RTS
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_RTS
+# endif
+# define machine_is_pxa_rts()  (machine_arch_type == MACH_TYPE_RTS)
+#else
+# define machine_is_pxa_rts()  (0)
+#endif
+
+#ifdef CONFIG_MACH_SE5100
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_SE5100
+# endif
+# define machine_is_se5100()   (machine_arch_type == MACH_TYPE_SE5100)
+#else
+# define machine_is_se5100()   (0)
+#endif
+
+#ifdef CONFIG_MACH_S3C2510
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_S3C2510
+# endif
+# define machine_is_s3c2510()  (machine_arch_type == MACH_TYPE_S3C2510)
+#else
+# define machine_is_s3c2510()  (0)
+#endif
+
+#ifdef CONFIG_MACH_CSB437TL
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_CSB437TL
+# endif
+# define machine_is_csb437tl() (machine_arch_type == MACH_TYPE_CSB437TL)
+#else
+# define machine_is_csb437tl() (0)
+#endif
+
+#ifdef CONFIG_MACH_SLAUSON
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_SLAUSON
+# endif
+# define machine_is_slauson()  (machine_arch_type == MACH_TYPE_SLAUSON)
+#else
+# define machine_is_slauson()  (0)
+#endif
+
+#ifdef CONFIG_MACH_PEARLRIVER
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_PEARLRIVER
+# endif
+# define machine_is_pearlriver()       (machine_arch_type == MACH_TYPE_PEARLRIVER)
+#else
+# define machine_is_pearlriver()       (0)
+#endif
+
+#ifdef CONFIG_MACH_TDC_P210
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_TDC_P210
+# endif
+# define machine_is_tdc_p210() (machine_arch_type == MACH_TYPE_TDC_P210)
+#else
+# define machine_is_tdc_p210() (0)
+#endif
+
+#ifdef CONFIG_MACH_SG580
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_SG580
+# endif
+# define machine_is_sg580()    (machine_arch_type == MACH_TYPE_SG580)
+#else
+# define machine_is_sg580()    (0)
+#endif
+
+#ifdef CONFIG_MACH_WRSBCARM7
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_WRSBCARM7
+# endif
+# define machine_is_wrsbcarm7()        (machine_arch_type == MACH_TYPE_WRSBCARM7)
+#else
+# define machine_is_wrsbcarm7()        (0)
+#endif
+
+#ifdef CONFIG_MACH_IPD
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_IPD
+# endif
+# define machine_is_ipd()      (machine_arch_type == MACH_TYPE_IPD)
+#else
+# define machine_is_ipd()      (0)
+#endif
+
+#ifdef CONFIG_MACH_PXA_DNP2110
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_PXA_DNP2110
+# endif
+# define machine_is_pxa_dnp2110()      (machine_arch_type == MACH_TYPE_PXA_DNP2110)
+#else
+# define machine_is_pxa_dnp2110()      (0)
+#endif
+
+#ifdef CONFIG_MACH_XAENIAX
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_XAENIAX
+# endif
+# define machine_is_xaeniax()  (machine_arch_type == MACH_TYPE_XAENIAX)
+#else
+# define machine_is_xaeniax()  (0)
+#endif
+
+#ifdef CONFIG_MACH_SOMN4250
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_SOMN4250
+# endif
+# define machine_is_somn4250() (machine_arch_type == MACH_TYPE_SOMN4250)
+#else
+# define machine_is_somn4250() (0)
+#endif
+
+#ifdef CONFIG_MACH_PLEB2
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_PLEB2
+# endif
+# define machine_is_pleb2()    (machine_arch_type == MACH_TYPE_PLEB2)
+#else
+# define machine_is_pleb2()    (0)
+#endif
+
+#ifdef CONFIG_MACH_CWL
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_CWL
+# endif
+# define machine_is_cwl()      (machine_arch_type == MACH_TYPE_CWL)
+#else
+# define machine_is_cwl()      (0)
+#endif
+
+#ifdef CONFIG_MACH_GD
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_GD
+# endif
+# define machine_is_gd()       (machine_arch_type == MACH_TYPE_GD)
+#else
+# define machine_is_gd()       (0)
+#endif
+
+#ifdef CONFIG_MACH_CHAFFEE
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_CHAFFEE
+# endif
+# define machine_is_chaffee()  (machine_arch_type == MACH_TYPE_CHAFFEE)
+#else
+# define machine_is_chaffee()  (0)
+#endif
+
+#ifdef CONFIG_MACH_RMS101
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_RMS101
+# endif
+# define machine_is_rms101()   (machine_arch_type == MACH_TYPE_RMS101)
+#else
+# define machine_is_rms101()   (0)
+#endif
+
+#ifdef CONFIG_MACH_RX3715
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_RX3715
+# endif
+# define machine_is_rx3715()   (machine_arch_type == MACH_TYPE_RX3715)
+#else
+# define machine_is_rx3715()   (0)
+#endif
+
+#ifdef CONFIG_MACH_SWIFT
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_SWIFT
+# endif
+# define machine_is_swift()    (machine_arch_type == MACH_TYPE_SWIFT)
+#else
+# define machine_is_swift()    (0)
+#endif
+
+#ifdef CONFIG_MACH_ROVERP7
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_ROVERP7
+# endif
+# define machine_is_roverp7()  (machine_arch_type == MACH_TYPE_ROVERP7)
+#else
+# define machine_is_roverp7()  (0)
+#endif
+
+#ifdef CONFIG_MACH_PR818S
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_PR818S
+# endif
+# define machine_is_pr818s()   (machine_arch_type == MACH_TYPE_PR818S)
+#else
+# define machine_is_pr818s()   (0)
+#endif
+
+#ifdef CONFIG_MACH_TRXPRO
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_TRXPRO
+# endif
+# define machine_is_trxpro()   (machine_arch_type == MACH_TYPE_TRXPRO)
+#else
+# define machine_is_trxpro()   (0)
+#endif
+
+#ifdef CONFIG_MACH_NSLU2
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_NSLU2
+# endif
+# define machine_is_nslu2()    (machine_arch_type == MACH_TYPE_NSLU2)
+#else
+# define machine_is_nslu2()    (0)
+#endif
+
+#ifdef CONFIG_MACH_E400
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_E400
+# endif
+# define machine_is_e400()     (machine_arch_type == MACH_TYPE_E400)
+#else
+# define machine_is_e400()     (0)
+#endif
+
+#ifdef CONFIG_MACH_TRAB
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_TRAB
+# endif
+# define machine_is_trab()     (machine_arch_type == MACH_TYPE_TRAB)
+#else
+# define machine_is_trab()     (0)
+#endif
+
+#ifdef CONFIG_MACH_CMC_PU2
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_CMC_PU2
+# endif
+# define machine_is_cmc_pu2()  (machine_arch_type == MACH_TYPE_CMC_PU2)
+#else
+# define machine_is_cmc_pu2()  (0)
+#endif
+
+#ifdef CONFIG_MACH_FULCRUM
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_FULCRUM
+# endif
+# define machine_is_fulcrum()  (machine_arch_type == MACH_TYPE_FULCRUM)
+#else
+# define machine_is_fulcrum()  (0)
+#endif
+
+#ifdef CONFIG_MACH_NETGATE42X
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_NETGATE42X
+# endif
+# define machine_is_netgate42x()       (machine_arch_type == MACH_TYPE_NETGATE42X)
+#else
+# define machine_is_netgate42x()       (0)
+#endif
+
+#ifdef CONFIG_MACH_STR710
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_STR710
+# endif
+# define machine_is_str710()   (machine_arch_type == MACH_TYPE_STR710)
+#else
+# define machine_is_str710()   (0)
+#endif
+
+#ifdef CONFIG_MACH_IXDPG425
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_IXDPG425
+# endif
+# define machine_is_ixdpg425() (machine_arch_type == MACH_TYPE_IXDPG425)
+#else
+# define machine_is_ixdpg425() (0)
+#endif
+
+#ifdef CONFIG_MACH_TOMTOMGO
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_TOMTOMGO
+# endif
+# define machine_is_tomtomgo() (machine_arch_type == MACH_TYPE_TOMTOMGO)
+#else
+# define machine_is_tomtomgo() (0)
+#endif
+
+#ifdef CONFIG_MACH_VERSATILE_AB
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_VERSATILE_AB
+# endif
+# define machine_is_versatile_ab()     (machine_arch_type == MACH_TYPE_VERSATILE_AB)
+#else
+# define machine_is_versatile_ab()     (0)
+#endif
+
+#ifdef CONFIG_MACH_EDB9307
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_EDB9307
+# endif
+# define machine_is_edb9307()  (machine_arch_type == MACH_TYPE_EDB9307)
+#else
+# define machine_is_edb9307()  (0)
+#endif
+
+#ifdef CONFIG_MACH_SG565
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_SG565
+# endif
+# define machine_is_sg565()    (machine_arch_type == MACH_TYPE_SG565)
+#else
+# define machine_is_sg565()    (0)
+#endif
+
+#ifdef CONFIG_MACH_LPD79524
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_LPD79524
+# endif
+# define machine_is_lpd79524() (machine_arch_type == MACH_TYPE_LPD79524)
+#else
+# define machine_is_lpd79524() (0)
+#endif
+
+#ifdef CONFIG_MACH_LPD79525
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_LPD79525
+# endif
+# define machine_is_lpd79525() (machine_arch_type == MACH_TYPE_LPD79525)
+#else
+# define machine_is_lpd79525() (0)
+#endif
+
+#ifdef CONFIG_MACH_RMS100
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_RMS100
+# endif
+# define machine_is_rms100()   (machine_arch_type == MACH_TYPE_RMS100)
+#else
+# define machine_is_rms100()   (0)
+#endif
+
+#ifdef CONFIG_MACH_KB9200
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_KB9200
+# endif
+# define machine_is_kb9200()   (machine_arch_type == MACH_TYPE_KB9200)
+#else
+# define machine_is_kb9200()   (0)
+#endif
+
+#ifdef CONFIG_MACH_SX1
+# ifdef machine_arch_type
+#  undef machine_arch_type
+#  define machine_arch_type    __machine_arch_type
+# else
+#  define machine_arch_type    MACH_TYPE_SX1
+# endif
+# define machine_is_sx1()      (machine_arch_type == MACH_TYPE_SX1)
+#else
+# define machine_is_sx1()      (0)
+#endif
+
 /*
  * These have not yet been registered
  */
index 48e38b965dda66c275e23a10cfd1a36009d946c0..353a15ac5688121674c67ad3f0f8bbc4a8fa16c8 100644 (file)
@@ -209,6 +209,7 @@ void inline setenv   (char *, char *);
 void   setenv       (char *, char *);
 #endif /* CONFIG_PPC */
 #ifdef CONFIG_ARM
+# include <asm/mach-types.h>
 # include <asm/setup.h>
 # include <asm/u-boot-arm.h>   /* ARM version to be fixed! */
 #endif /* CONFIG_ARM */