2 * Copyright (C) 2007-2008 Michal Simek <monstr@monstr.eu>
3 * Copyright (C) 2006 Atmark Techno, Inc.
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
10 #ifndef _ASM_MICROBLAZE_SETUP_H
11 #define _ASM_MICROBLAZE_SETUP_H
13 #define COMMAND_LINE_SIZE 256
18 extern unsigned int boot_cpuid; /* move to smp.h */
20 extern char cmd_line[COMMAND_LINE_SIZE];
21 # endif/* __KERNEL__ */
23 void early_printk(const char *fmt, ...);
25 int setup_early_printk(char *opt);
26 void disable_early_printk(void);
29 void setup_heartbeat(void);
31 unsigned long long sched_clock(void);
35 void machine_early_init(const char *cmdline, unsigned int ram,
38 void machine_restart(char *cmd);
39 void machine_shutdown(void);
40 void machine_halt(void);
41 void machine_power_off(void);
43 # endif /* __ASSEMBLY__ */
44 #endif /* _ASM_MICROBLAZE_SETUP_H */