1 #include <linux/init.h>
2 #include <linux/string.h>
3 #include <asm/addrspace.h>
4 #include <asm/bootinfo.h>
6 void __init prom_init(void)
10 cmdline = (int *) (CKSEG0 + (0x10 << 20) - 260);
11 if (*cmdline == 0x12345678) {
12 if (*(char *)(cmdline + 1))
13 strcpy (arcs_cmdline, (char *)(cmdline + 1));
14 add_memory_region(0x0<<20, cmdline[-1], BOOT_MEM_RAM);
16 add_memory_region(0x0<<20, 0x10<<20, BOOT_MEM_RAM);