| 1234567891011121314151617181920212223242526272829303132333435363738394041424344 |
- /*
- * Copyright (C) 2007-2008 Michal Simek <monstr@monstr.eu>
- * Copyright (C) 2006 Atmark Techno, Inc.
- *
- * This file is subject to the terms and conditions of the GNU General Public
- * License. See the file "COPYING" in the main directory of this archive
- * for more details.
- */
- #ifndef _ASM_MICROBLAZE_SETUP_H
- #define _ASM_MICROBLAZE_SETUP_H
- #define COMMAND_LINE_SIZE 256
- # ifndef __ASSEMBLY__
- # ifdef __KERNEL__
- extern unsigned int boot_cpuid; /* move to smp.h */
- extern char cmd_line[COMMAND_LINE_SIZE];
- # endif/* __KERNEL__ */
- void early_printk(const char *fmt, ...);
- int setup_early_printk(char *opt);
- void disable_early_printk(void);
- void heartbeat(void);
- void setup_heartbeat(void);
- unsigned long long sched_clock(void);
- void time_init(void);
- void init_IRQ(void);
- void machine_early_init(const char *cmdline, unsigned int ram,
- unsigned int fdt);
- void machine_restart(char *cmd);
- void machine_shutdown(void);
- void machine_halt(void);
- void machine_power_off(void);
- # endif /* __ASSEMBLY__ */
- #endif /* _ASM_MICROBLAZE_SETUP_H */
|
