x86: call free_init_pages() with irqs enabled in alternative_instructions()
[linux-2.6/kvm.git] / arch / ppc / platforms / tqm8260.h
blob7f8c9a6928f89607b8753f10487339bbedbdcbe3
1 /*
2 * TQM8260 board specific definitions
4 * Copyright (c) 2001 Wolfgang Denk (wd@denx.de)
5 */
7 #ifndef __TQM8260_PLATFORM
8 #define __TQM8260_PLATFORM
11 #include <asm/ppcboot.h>
13 #define CPM_MAP_ADDR ((uint)0xFFF00000)
14 #define PHY_INTERRUPT 25
16 /* For our show_cpuinfo hooks. */
17 #define CPUINFO_VENDOR "IN2 Systems"
18 #define CPUINFO_MACHINE "TQM8260 PowerPC"
20 #define BOOTROM_RESTART_ADDR ((uint)0x40000104)
22 #endif /* __TQM8260_PLATFORM */