version 1.21, 2013/08/18 15:58:21 |
version 1.22, 2014/03/08 18:07:39 |
Line 378 initarm(void *arg) |
|
Line 378 initarm(void *arg) |
|
int loop; |
int loop; |
int loop1; |
int loop1; |
u_int l1pagetable; |
u_int l1pagetable; |
|
|
|
#ifdef FIXME |
paddr_t memstart; |
paddr_t memstart; |
psize_t memsize; |
psize_t memsize; |
|
|
#ifdef FIXME |
|
/* Calibrate the delay loop. */ |
/* Calibrate the delay loop. */ |
i80321_calibrate_delay(); |
i80321_calibrate_delay(); |
#endif |
#endif |
Line 415 initarm(void *arg) |
|
Line 416 initarm(void *arg) |
|
*/ |
*/ |
i80321_sdram_bounds(&obio_bs_tag, VERDE_PMMR_BASE + VERDE_MCU_BASE, |
i80321_sdram_bounds(&obio_bs_tag, VERDE_PMMR_BASE + VERDE_MCU_BASE, |
&memstart, &memsize); |
&memstart, &memsize); |
#else |
|
memstart = 0x0; |
memstart = 0x0; |
memsize = 0x2000000; |
memsize = 0x2000000; |
#endif |
#endif |