2 * linux/arch/unicore32/kernel/setup.h
4 * Code specific to PKUnity SoC and UniCore ISA
6 * Copyright (C) 2001-2010 GUAN Xue-tao
8 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License version 2 as
10 * published by the Free Software Foundation.
12 #ifndef __UNICORE_KERNEL_SETUP_H__
13 #define __UNICORE_KERNEL_SETUP_H__
15 extern void paging_init(void);
16 extern void puv3_core_init(void);
18 extern void puv3_ps2_init(void);
19 extern void pci_puv3_preinit(void);
20 extern void __init
puv3_init_gpio(void);
22 extern void setup_mm_for_reboot(char mode
);
24 extern char __stubs_start
[], __stubs_end
[];
25 extern char __vectors_start
[], __vectors_end
[];
27 extern void kernel_thread_helper(void);
29 extern void __init
early_signal_init(void);