| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556 |
- /*
- * Copyright (C) 2007-2009 Michal Simek <monstr@monstr.eu>
- * Copyright (C) 2007-2009 PetaLogix
- * 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];
- void early_printk(const char *fmt, ...);
- int setup_early_printk(char *opt);
- void disable_early_printk(void);
- #if defined(CONFIG_EARLY_PRINTK)
- #define eprintk early_printk
- #else
- #define eprintk printk
- #endif
- void heartbeat(void);
- void setup_heartbeat(void);
- # ifdef CONFIG_MMU
- extern void mmu_reset(void);
- extern void early_console_reg_tlb_alloc(unsigned int addr);
- # endif /* CONFIG_MMU */
- extern void of_platform_reset_gpio_probe(void);
- void time_init(void);
- void init_IRQ(void);
- void machine_early_init(const char *cmdline, unsigned int ram,
- unsigned int fdt, unsigned int msr);
- void machine_restart(char *cmd);
- void machine_shutdown(void);
- void machine_halt(void);
- void machine_power_off(void);
- # endif/* __KERNEL__ */
- # endif /* __ASSEMBLY__ */
- #endif /* _ASM_MICROBLAZE_SETUP_H */
|
