arch/arm/mach-pxa/corgi.c

   1 /*
   2  * Support for Sharp SL-C7xx PDAs
   3  * Models: SL-C700 (Corgi), SL-C750 (Shepherd), SL-C760 (Husky)
   4  *
   5  * Copyright (c) 2004-2005 Richard Purdie
   6  *
   7  * Based on Sharp's 2.4 kernel patches/lubbock.c
   8  *
   9  * This program is free software; you can redistribute it and/or modify
  10  * it under the terms of the GNU General Public License version 2 as
  11  * published by the Free Software Foundation.
  12  *
  13  */
  14
  15 #include <linux/kernel.h>
  16 #include <linux/init.h>
  17 #include <linux/platform_device.h>
  18 #include <linux/major.h>
  19 #include <linux/fs.h>
  20 #include <linux/interrupt.h>
  21 #include <linux/mmc/host.h>
  22 #include <linux/pm.h>
  23 #include <linux/gpio.h>
  24 #include <linux/backlight.h>
  25 #include <linux/io.h>
  26 #include <linux/spi/spi.h>
  27 #include <linux/spi/ads7846.h>
  28 #include <linux/spi/corgi_lcd.h>
  29 #include <video/w100fb.h>
  30
  31 #include <asm/setup.h>
  32 #include <asm/memory.h>
  33 #include <asm/mach-types.h>
  34 #include <mach/hardware.h>
  35 #include <asm/irq.h>
  36 #include <asm/system.h>
  37
  38 #include <asm/mach/arch.h>
  39 #include <asm/mach/map.h>
  40 #include <asm/mach/irq.h>
  41
  42 #include <mach/pxa-regs.h>
  43 #include <mach/pxa2xx-regs.h>
  44 #include <mach/mfp-pxa25x.h>
  45 #include <mach/i2c.h>
  46 #include <mach/irda.h>
  47 #include <mach/mmc.h>
  48 #include <mach/udc.h>
  49 #include <mach/pxa2xx_spi.h>
  50 #include <mach/corgi.h>
  51 #include <mach/sharpsl.h>
  52
  53 #include <asm/mach/sharpsl_param.h>
  54 #include <asm/hardware/scoop.h>
  55
  56 #include "generic.h"
  57 #include "devices.h"
  58 #include "sharpsl.h"
  59
  60 static unsigned long corgi_pin_config[] __initdata = {
  61         /* Static Memory I/O */
  62         GPIO78_nCS_2,   /* w100fb */
  63         GPIO80_nCS_4,   /* scoop */
  64
  65         /* SSP1 */
  66         GPIO23_SSP1_SCLK,
  67         GPIO25_SSP1_TXD,
  68         GPIO26_SSP1_RXD,
  69         GPIO24_GPIO,    /* CORGI_GPIO_ADS7846_CS - SFRM as chip select */
  70
  71         /* I2S */
  72         GPIO28_I2S_BITCLK_OUT,
  73         GPIO29_I2S_SDATA_IN,
  74         GPIO30_I2S_SDATA_OUT,
  75         GPIO31_I2S_SYNC,
  76         GPIO32_I2S_SYSCLK,
  77
  78         /* Infra-Red */
  79         GPIO47_FICP_TXD,
  80         GPIO46_FICP_RXD,
  81
  82         /* FFUART */
  83         GPIO40_FFUART_DTR,
  84         GPIO41_FFUART_RTS,
  85         GPIO39_FFUART_TXD,
  86         GPIO37_FFUART_DSR,
  87         GPIO34_FFUART_RXD,
  88         GPIO35_FFUART_CTS,
  89
  90         /* PC Card */
  91         GPIO48_nPOE,
  92         GPIO49_nPWE,
  93         GPIO50_nPIOR,
  94         GPIO51_nPIOW,
  95         GPIO52_nPCE_1,
  96         GPIO53_nPCE_2,
  97         GPIO54_nPSKTSEL,
  98         GPIO55_nPREG,
  99         GPIO56_nPWAIT,
 100         GPIO57_nIOIS16,
 101
 102         /* MMC */
 103         GPIO6_MMC_CLK,
 104         GPIO8_MMC_CS0,
 105
 106         /* GPIO */
 107         GPIO9_GPIO,     /* CORGI_GPIO_nSD_DETECT */
 108         GPIO7_GPIO,     /* CORGI_GPIO_nSD_WP */
 109         GPIO33_GPIO,    /* CORGI_GPIO_SD_PWR */
 110         GPIO22_GPIO,    /* CORGI_GPIO_IR_ON */
 111         GPIO44_GPIO,    /* CORGI_GPIO_HSYNC */
 112
 113         GPIO1_GPIO | WAKEUP_ON_EDGE_RISE,
 114 };
 115
 116 /*
 117  * Corgi SCOOP Device
 118  */
 119 static struct resource corgi_scoop_resources[] = {
 120         [0] = {
 121                 .start          = 0x10800000,
 122                 .end            = 0x10800fff,
 123                 .flags          = IORESOURCE_MEM,
 124         },
 125 };
 126
 127 static struct scoop_config corgi_scoop_setup = {
 128         .io_dir         = CORGI_SCOOP_IO_DIR,
 129         .io_out         = CORGI_SCOOP_IO_OUT,
 130         .gpio_base      = CORGI_SCOOP_GPIO_BASE,
 131 };
 132
 133 struct platform_device corgiscoop_device = {
 134         .name           = "sharp-scoop",
 135         .id             = -1,
 136         .dev            = {
 137                 .platform_data  = &corgi_scoop_setup,
 138         },
 139         .num_resources  = ARRAY_SIZE(corgi_scoop_resources),
 140         .resource       = corgi_scoop_resources,
 141 };
 142
 143 static struct scoop_pcmcia_dev corgi_pcmcia_scoop[] = {
 144 {
 145         .dev        = &corgiscoop_device.dev,
 146         .irq        = CORGI_IRQ_GPIO_CF_IRQ,
 147         .cd_irq     = CORGI_IRQ_GPIO_CF_CD,
 148         .cd_irq_str = "PCMCIA0 CD",
 149 },
 150 };
 151
 152 static struct scoop_pcmcia_config corgi_pcmcia_config = {
 153         .devs         = &corgi_pcmcia_scoop[0],
 154         .num_devs     = 1,
 155 };
 156
 157 EXPORT_SYMBOL(corgiscoop_device);
 158
 159 static struct w100_mem_info corgi_fb_mem = {
 160         .ext_cntl          = 0x00040003,
 161         .sdram_mode_reg    = 0x00650021,
 162         .ext_timing_cntl   = 0x10002a4a,
 163         .io_cntl           = 0x7ff87012,
 164         .size              = 0x1fffff,
 165 };
 166
 167 static struct w100_gen_regs corgi_fb_regs = {
 168         .lcd_format    = 0x00000003,
 169         .lcdd_cntl1    = 0x01CC0000,
 170         .lcdd_cntl2    = 0x0003FFFF,
 171         .genlcd_cntl1  = 0x00FFFF0D,
 172         .genlcd_cntl2  = 0x003F3003,
 173         .genlcd_cntl3  = 0x000102aa,
 174 };
 175
 176 static struct w100_gpio_regs corgi_fb_gpio = {
 177         .init_data1   = 0x000000bf,
 178         .init_data2   = 0x00000000,
 179         .gpio_dir1    = 0x00000000,
 180         .gpio_oe1     = 0x03c0feff,
 181         .gpio_dir2    = 0x00000000,
 182         .gpio_oe2     = 0x00000000,
 183 };
 184
 185 static struct w100_mode corgi_fb_modes[] = {
 186 {
 187         .xres            = 480,
 188         .yres            = 640,
 189         .left_margin     = 0x56,
 190         .right_margin    = 0x55,
 191         .upper_margin    = 0x03,
 192         .lower_margin    = 0x00,
 193         .crtc_ss         = 0x82360056,
 194         .crtc_ls         = 0xA0280000,
 195         .crtc_gs         = 0x80280028,
 196         .crtc_vpos_gs    = 0x02830002,
 197         .crtc_rev        = 0x00400008,
 198         .crtc_dclk       = 0xA0000000,
 199         .crtc_gclk       = 0x8015010F,
 200         .crtc_goe        = 0x80100110,
 201         .crtc_ps1_active = 0x41060010,
 202         .pll_freq        = 75,
 203         .fast_pll_freq   = 100,
 204         .sysclk_src      = CLK_SRC_PLL,
 205         .sysclk_divider  = 0,
 206         .pixclk_src      = CLK_SRC_PLL,
 207         .pixclk_divider  = 2,
 208         .pixclk_divider_rotated = 6,
 209 },{
 210         .xres            = 240,
 211         .yres            = 320,
 212         .left_margin     = 0x27,
 213         .right_margin    = 0x2e,
 214         .upper_margin    = 0x01,
 215         .lower_margin    = 0x00,
 216         .crtc_ss         = 0x81170027,
 217         .crtc_ls         = 0xA0140000,
 218         .crtc_gs         = 0xC0140014,
 219         .crtc_vpos_gs    = 0x00010141,
 220         .crtc_rev        = 0x00400008,
 221         .crtc_dclk       = 0xA0000000,
 222         .crtc_gclk       = 0x8015010F,
 223         .crtc_goe        = 0x80100110,
 224         .crtc_ps1_active = 0x41060010,
 225         .pll_freq        = 0,
 226         .fast_pll_freq   = 0,
 227         .sysclk_src      = CLK_SRC_XTAL,
 228         .sysclk_divider  = 0,
 229         .pixclk_src      = CLK_SRC_XTAL,
 230         .pixclk_divider  = 1,
 231         .pixclk_divider_rotated = 1,
 232 },
 233
 234 };
 235
 236 static struct w100fb_mach_info corgi_fb_info = {
 237         .init_mode  = INIT_MODE_ROTATED,
 238         .mem        = &corgi_fb_mem,
 239         .regs       = &corgi_fb_regs,
 240         .modelist   = &corgi_fb_modes[0],
 241         .num_modes  = 2,
 242         .gpio       = &corgi_fb_gpio,
 243         .xtal_freq  = 12500000,
 244         .xtal_dbl   = 0,
 245 };
 246
 247 static struct resource corgi_fb_resources[] = {
 248         [0] = {
 249                 .start   = 0x08000000,
 250                 .end     = 0x08ffffff,
 251                 .flags   = IORESOURCE_MEM,
 252         },
 253 };
 254
 255 static struct platform_device corgifb_device = {
 256         .name           = "w100fb",
 257         .id             = -1,
 258         .num_resources  = ARRAY_SIZE(corgi_fb_resources),
 259         .resource       = corgi_fb_resources,
 260         .dev            = {
 261                 .platform_data = &corgi_fb_info,
 262         },
 263
 264 };
 265
 266 /*
 267  * Corgi Keyboard Device
 268  */
 269 static struct platform_device corgikbd_device = {
 270         .name           = "corgi-keyboard",
 271         .id             = -1,
 272 };
 273
 274 /*
 275  * Corgi LEDs
 276  */
 277 static struct gpio_led corgi_gpio_leds[] = {
 278         {
 279                 .name                   = "corgi:amber:charge",
 280                 .default_trigger        = "sharpsl-charge",
 281                 .gpio                   = CORGI_GPIO_LED_ORANGE,
 282         },
 283         {
 284                 .name                   = "corgi:green:mail",
 285                 .default_trigger        = "nand-disk",
 286                 .gpio                   = CORGI_GPIO_LED_GREEN,
 287         },
 288 };
 289
 290 static struct gpio_led_platform_data corgi_gpio_leds_info = {
 291         .leds           = corgi_gpio_leds,
 292         .num_leds       = ARRAY_SIZE(corgi_gpio_leds),
 293 };
 294
 295 static struct platform_device corgiled_device = {
 296         .name           = "leds-gpio",
 297         .id             = -1,
 298         .dev            = {
 299                 .platform_data = &corgi_gpio_leds_info,
 300         },
 301 };
 302
 303 /*
 304  * MMC/SD Device
 305  *
 306  * The card detect interrupt isn't debounced so we delay it by 250ms
 307  * to give the card a chance to fully insert/eject.
 308  */
 309 static struct pxamci_platform_data corgi_mci_platform_data;
 310
 311 static int corgi_mci_init(struct device *dev, irq_handler_t corgi_detect_int, void *data)
 312 {
 313         int err;
 314
 315         err = gpio_request(CORGI_GPIO_nSD_DETECT, "nSD_DETECT");
 316         if (err)
 317                 goto err_out;
 318
 319         err = gpio_request(CORGI_GPIO_nSD_WP, "nSD_WP");
 320         if (err)
 321                 goto err_free_1;
 322
 323         err = gpio_request(CORGI_GPIO_SD_PWR, "SD_PWR");
 324         if (err)
 325                 goto err_free_2;
 326
 327         gpio_direction_input(CORGI_GPIO_nSD_DETECT);
 328         gpio_direction_input(CORGI_GPIO_nSD_WP);
 329         gpio_direction_output(CORGI_GPIO_SD_PWR, 0);
 330
 331         corgi_mci_platform_data.detect_delay = msecs_to_jiffies(250);
 332
 333         err = request_irq(CORGI_IRQ_GPIO_nSD_DETECT, corgi_detect_int,
 334                                 IRQF_DISABLED | IRQF_TRIGGER_RISING |
 335                                 IRQF_TRIGGER_FALLING,
 336                                 "MMC card detect", data);
 337         if (err) {
 338                 pr_err("%s: MMC/SD: can't request MMC card detect IRQ\n",
 339                                 __func__);
 340                 goto err_free_3;
 341         }
 342         return 0;
 343
 344 err_free_3:
 345         gpio_free(CORGI_GPIO_SD_PWR);
 346 err_free_2:
 347         gpio_free(CORGI_GPIO_nSD_WP);
 348 err_free_1:
 349         gpio_free(CORGI_GPIO_nSD_DETECT);
 350 err_out:
 351         return err;
 352 }
 353
 354 static void corgi_mci_setpower(struct device *dev, unsigned int vdd)
 355 {
 356         struct pxamci_platform_data* p_d = dev->platform_data;
 357
 358         gpio_set_value(CORGI_GPIO_SD_PWR, ((1 << vdd) & p_d->ocr_mask));
 359 }
 360
 361 static int corgi_mci_get_ro(struct device *dev)
 362 {
 363         return gpio_get_value(CORGI_GPIO_nSD_WP);
 364 }
 365
 366 static void corgi_mci_exit(struct device *dev, void *data)
 367 {
 368         free_irq(CORGI_IRQ_GPIO_nSD_DETECT, data);
 369         gpio_free(CORGI_GPIO_SD_PWR);
 370         gpio_free(CORGI_GPIO_nSD_WP);
 371         gpio_free(CORGI_GPIO_nSD_DETECT);
 372 }
 373
 374 static struct pxamci_platform_data corgi_mci_platform_data = {
 375         .ocr_mask       = MMC_VDD_32_33|MMC_VDD_33_34,
 376         .init           = corgi_mci_init,
 377         .get_ro         = corgi_mci_get_ro,
 378         .setpower       = corgi_mci_setpower,
 379         .exit           = corgi_mci_exit,
 380 };
 381
 382
 383 /*
 384  * Irda
 385  */
 386 static void corgi_irda_transceiver_mode(struct device *dev, int mode)
 387 {
 388         gpio_set_value(CORGI_GPIO_IR_ON, mode & IR_OFF);
 389         pxa2xx_transceiver_mode(dev, mode);
 390 }
 391
 392 static int corgi_irda_startup(struct device *dev)
 393 {
 394         int err;
 395
 396         err = gpio_request(CORGI_GPIO_IR_ON, "IR_ON");
 397         if (err)
 398                 return err;
 399
 400         gpio_direction_output(CORGI_GPIO_IR_ON, 1);
 401         return 0;
 402 }
 403
 404 static void corgi_irda_shutdown(struct device *dev)
 405 {
 406         gpio_free(CORGI_GPIO_IR_ON);
 407 }
 408
 409 static struct pxaficp_platform_data corgi_ficp_platform_data = {
 410         .transceiver_cap        = IR_SIRMODE | IR_OFF,
 411         .transceiver_mode       = corgi_irda_transceiver_mode,
 412         .startup                = corgi_irda_startup,
 413         .shutdown               = corgi_irda_shutdown,
 414 };
 415
 416
 417 /*
 418  * USB Device Controller
 419  */
 420 static struct pxa2xx_udc_mach_info udc_info __initdata = {
 421         /* no connect GPIO; corgi can't tell connection status */
 422         .gpio_pullup            = CORGI_GPIO_USB_PULLUP,
 423 };
 424
 425 #if defined(CONFIG_SPI_PXA2XX) || defined(CONFIG_SPI_PXA2XX_MASTER)
 426 static struct pxa2xx_spi_master corgi_spi_info = {
 427         .num_chipselect = 3,
 428 };
 429
 430 static struct ads7846_platform_data corgi_ads7846_info = {
 431         .model                  = 7846,
 432         .vref_delay_usecs       = 100,
 433         .x_plate_ohms           = 419,
 434         .y_plate_ohms           = 486,
 435         .gpio_pendown           = CORGI_GPIO_TP_INT,
 436 };
 437
 438 static void corgi_ads7846_cs(u32 command)
 439 {
 440         gpio_set_value(CORGI_GPIO_ADS7846_CS, !(command == PXA2XX_CS_ASSERT));
 441 }
 442
 443 static struct pxa2xx_spi_chip corgi_ads7846_chip = {
 444         .cs_control     = corgi_ads7846_cs,
 445 };
 446
 447 static void corgi_bl_kick_battery(void)
 448 {
 449         void (*kick_batt)(void);
 450
 451         kick_batt = symbol_get(sharpsl_battery_kick);
 452         if (kick_batt) {
 453                 kick_batt();
 454                 symbol_put(sharpsl_battery_kick);
 455         }
 456 }
 457
 458 static struct corgi_lcd_platform_data corgi_lcdcon_info = {
 459         .init_mode              = CORGI_LCD_MODE_VGA,
 460         .max_intensity          = 0x2f,
 461         .default_intensity      = 0x1f,
 462         .limit_mask             = 0x0b,
 463         .gpio_backlight_cont    = CORGI_GPIO_BACKLIGHT_CONT,
 464         .gpio_backlight_on      = -1,
 465         .kick_battery           = corgi_bl_kick_battery,
 466 };
 467
 468 static void corgi_lcdcon_cs(u32 command)
 469 {
 470         gpio_set_value(CORGI_GPIO_LCDCON_CS, !(command == PXA2XX_CS_ASSERT));
 471 }
 472
 473 static struct pxa2xx_spi_chip corgi_lcdcon_chip = {
 474         .cs_control     = corgi_lcdcon_cs,
 475 };
 476
 477 static void corgi_max1111_cs(u32 command)
 478 {
 479         gpio_set_value(CORGI_GPIO_MAX1111_CS, !(command == PXA2XX_CS_ASSERT));
 480 }
 481
 482 static struct pxa2xx_spi_chip corgi_max1111_chip = {
 483         .cs_control     = corgi_max1111_cs,
 484 };
 485
 486 static struct spi_board_info corgi_spi_devices[] = {
 487         {
 488                 .modalias       = "ads7846",
 489                 .max_speed_hz   = 1200000,
 490                 .bus_num        = 1,
 491                 .chip_select    = 0,
 492                 .platform_data  = &corgi_ads7846_info,
 493                 .controller_data= &corgi_ads7846_chip,
 494                 .irq            = gpio_to_irq(CORGI_GPIO_TP_INT),
 495         }, {
 496                 .modalias       = "corgi-lcd",
 497                 .max_speed_hz   = 50000,
 498                 .bus_num        = 1,
 499                 .chip_select    = 1,
 500                 .platform_data  = &corgi_lcdcon_info,
 501                 .controller_data= &corgi_lcdcon_chip,
 502         }, {
 503                 .modalias       = "max1111",
 504                 .max_speed_hz   = 450000,
 505                 .bus_num        = 1,
 506                 .chip_select    = 2,
 507                 .controller_data= &corgi_max1111_chip,
 508         },
 509 };
 510
 511 static void __init corgi_init_spi(void)
 512 {
 513         int err;
 514
 515         err = gpio_request(CORGI_GPIO_ADS7846_CS, "ADS7846_CS");
 516         if (err)
 517                 return;
 518
 519         err = gpio_request(CORGI_GPIO_LCDCON_CS, "LCDCON_CS");
 520         if (err)
 521                 goto err_free_1;
 522
 523         err = gpio_request(CORGI_GPIO_MAX1111_CS, "MAX1111_CS");
 524         if (err)
 525                 goto err_free_2;
 526
 527         gpio_direction_output(CORGI_GPIO_ADS7846_CS, 1);
 528         gpio_direction_output(CORGI_GPIO_LCDCON_CS, 1);
 529         gpio_direction_output(CORGI_GPIO_MAX1111_CS, 1);
 530
 531         pxa2xx_set_spi_info(1, &corgi_spi_info);
 532         spi_register_board_info(ARRAY_AND_SIZE(corgi_spi_devices));
 533         return;
 534
 535 err_free_2:
 536         gpio_free(CORGI_GPIO_LCDCON_CS);
 537 err_free_1:
 538         gpio_free(CORGI_GPIO_ADS7846_CS);
 539 }
 540 #else
 541 static inline void corgi_init_spi(void) {}
 542 #endif
 543
 544 static struct platform_device *devices[] __initdata = {
 545         &corgiscoop_device,
 546         &corgifb_device,
 547         &corgikbd_device,
 548         &corgiled_device,
 549 };
 550
 551 static void corgi_poweroff(void)
 552 {
 553         if (!machine_is_corgi())
 554                 /* Green LED off tells the bootloader to halt */
 555                 gpio_set_value(CORGI_GPIO_LED_GREEN, 0);
 556
 557         arm_machine_restart('h');
 558 }
 559
 560 static void corgi_restart(char mode)
 561 {
 562         if (!machine_is_corgi())
 563                 /* Green LED on tells the bootloader to reboot */
 564                 gpio_set_value(CORGI_GPIO_LED_GREEN, 1);
 565
 566         arm_machine_restart('h');
 567 }
 568
 569 static void __init corgi_init(void)
 570 {
 571         pm_power_off = corgi_poweroff;
 572         arm_pm_restart = corgi_restart;
 573
 574         /* Stop 3.6MHz and drive HIGH to PCMCIA and CS */
 575         PCFR |= PCFR_OPDE;
 576
 577         pxa2xx_mfp_config(ARRAY_AND_SIZE(corgi_pin_config));
 578
 579         corgi_init_spi();
 580
 581         pxa_set_udc_info(&udc_info);
 582         pxa_set_mci_info(&corgi_mci_platform_data);
 583         pxa_set_ficp_info(&corgi_ficp_platform_data);
 584         pxa_set_i2c_info(NULL);
 585
 586         platform_scoop_config = &corgi_pcmcia_config;
 587
 588         platform_add_devices(devices, ARRAY_SIZE(devices));
 589 }
 590
 591 static void __init fixup_corgi(struct machine_desc *desc,
 592                 struct tag *tags, char **cmdline, struct meminfo *mi)
 593 {
 594         sharpsl_save_param();
 595         mi->nr_banks=1;
 596         mi->bank[0].start = 0xa0000000;
 597         mi->bank[0].node = 0;
 598         if (machine_is_corgi())
 599                 mi->bank[0].size = (32*1024*1024);
 600         else
 601                 mi->bank[0].size = (64*1024*1024);
 602 }
 603
 604 #ifdef CONFIG_MACH_CORGI
 605 MACHINE_START(CORGI, "SHARP Corgi")
 606         .phys_io        = 0x40000000,
 607         .io_pg_offst    = (io_p2v(0x40000000) >> 18) & 0xfffc,
 608         .fixup          = fixup_corgi,
 609         .map_io         = pxa_map_io,
 610         .init_irq       = pxa25x_init_irq,
 611         .init_machine   = corgi_init,
 612         .timer          = &pxa_timer,
 613 MACHINE_END
 614 #endif
 615
 616 #ifdef CONFIG_MACH_SHEPHERD
 617 MACHINE_START(SHEPHERD, "SHARP Shepherd")
 618         .phys_io        = 0x40000000,
 619         .io_pg_offst    = (io_p2v(0x40000000) >> 18) & 0xfffc,
 620         .fixup          = fixup_corgi,
 621         .map_io         = pxa_map_io,
 622         .init_irq       = pxa25x_init_irq,
 623         .init_machine   = corgi_init,
 624         .timer          = &pxa_timer,
 625 MACHINE_END
 626 #endif
 627
 628 #ifdef CONFIG_MACH_HUSKY
 629 MACHINE_START(HUSKY, "SHARP Husky")
 630         .phys_io        = 0x40000000,
 631         .io_pg_offst    = (io_p2v(0x40000000) >> 18) & 0xfffc,
 632         .fixup          = fixup_corgi,
 633         .map_io         = pxa_map_io,
 634         .init_irq       = pxa25x_init_irq,
 635         .init_machine   = corgi_init,
 636         .timer          = &pxa_timer,
 637 MACHINE_END
 638 #endif
 639