x86: add PAGE_KERNEL_EXEC_NOCACHE
[wrt350n-kernel.git] / arch / ppc / boot / simple / misc-radstone_ppc7d.c
blob0f302ea9c3d1f35752106dcf3b72c227d63fe573
1 /*
2 * Misc data for Radstone PPC7D board.
4 * Author: James Chapman <jchapman@katalix.com>
5 */
7 #include <linux/types.h>
8 #include <platforms/radstone_ppc7d.h>
10 #if defined(CONFIG_SERIAL_MPSC_CONSOLE)
11 extern u32 mv64x60_console_baud;
12 extern u32 mv64x60_mpsc_clk_src;
13 extern u32 mv64x60_mpsc_clk_freq;
14 #endif
16 void
17 mv64x60_board_init(void __iomem *old_base, void __iomem *new_base)
19 #if defined(CONFIG_SERIAL_MPSC_CONSOLE)
20 mv64x60_console_baud = PPC7D_DEFAULT_BAUD;
21 mv64x60_mpsc_clk_src = PPC7D_MPSC_CLK_SRC;
22 mv64x60_mpsc_clk_freq = PPC7D_MPSC_CLK_FREQ;
23 #endif