69717607f0
Kernel needs two timers because of clocksource and clockevent. It is better to show warning message directly on early console if available. If it isn't available kernel log buffer contains it. Signed-off-by: Michal Simek <monstr@monstr.eu>
56 lines
1.4 KiB
C
56 lines
1.4 KiB
C
/*
|
|
* 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) && defined(CONFIG_SERIAL_UARTLITE_CONSOLE)
|
|
#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 */
|