1 /*
2  * Copyright (C) 2007-2008 Michal Simek <monstr@monstr.eu>
3  * Copyright (C) 2006 Atmark Techno, Inc.
4  *
5  * This file is subject to the terms and conditions of the GNU General Public
6  * License. See the file "COPYING" in the main directory of this archive
7  * for more details.
8  */
9 
10 #ifndef _ASM_MICROBLAZE_SETUP_H
11 #define _ASM_MICROBLAZE_SETUP_H
12 
13 #define COMMAND_LINE_SIZE	256
14 
15 # ifndef __ASSEMBLY__
16 
17 #  ifdef __KERNEL__
18 extern unsigned int boot_cpuid; /* move to smp.h */
19 
20 extern char cmd_line[COMMAND_LINE_SIZE];
21 #  endif/* __KERNEL__ */
22 
23 void early_printk(const char *fmt, ...);
24 
25 int setup_early_printk(char *opt);
26 void disable_early_printk(void);
27 
28 void heartbeat(void);
29 void setup_heartbeat(void);
30 
31 unsigned long long sched_clock(void);
32 
33 void time_init(void);
34 void init_IRQ(void);
35 void machine_early_init(const char *cmdline, unsigned int ram,
36 						unsigned int fdt);
37 
38 void machine_restart(char *cmd);
39 void machine_shutdown(void);
40 void machine_halt(void);
41 void machine_power_off(void);
42 
43 # endif /* __ASSEMBLY__ */
44 #endif /* _ASM_MICROBLAZE_SETUP_H */
45