2009-03-27 14:25:24 +01:00
/*
2009-05-26 16:30:10 +02:00
* Copyright ( C ) 2007 - 2009 Michal Simek < monstr @ monstr . eu >
* Copyright ( C ) 2007 - 2009 PetaLogix
2009-03-27 14:25:24 +01:00
* 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 ) ;
void heartbeat ( void ) ;
void setup_heartbeat ( void ) ;
unsigned long long sched_clock ( void ) ;
2009-05-26 16:30:10 +02:00
# ifdef CONFIG_MMU
extern void mmu_reset ( void ) ;
extern void early_console_reg_tlb_alloc ( unsigned int addr ) ;
# endif /* CONFIG_MMU */
2009-10-02 12:48:47 +02:00
extern void of_platform_reset_gpio_probe ( void ) ;
2009-03-27 14:25:24 +01:00
void time_init ( void ) ;
void init_IRQ ( void ) ;
void machine_early_init ( const char * cmdline , unsigned int ram ,
2009-07-30 14:31:23 +02:00
unsigned int fdt , unsigned int msr ) ;
2009-03-27 14:25:24 +01:00
void machine_restart ( char * cmd ) ;
void machine_shutdown ( void ) ;
void machine_halt ( void ) ;
void machine_power_off ( void ) ;
2009-05-26 16:30:10 +02:00
# endif /* __KERNEL__ */
2009-03-27 14:25:24 +01:00
# endif /* __ASSEMBLY__ */
# endif /* _ASM_MICROBLAZE_SETUP_H */