Commit | Line | Data |
---|---|---|
ec9f9101 MS |
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 */ |