| 
									
										
										
										
											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 */
 |