20 typedef void (*kernel_entry_t)(unsigned long r3, unsigned long r4, void *r5);
24 	void	(*fixups)(void);
25 	void	(*image_hdr)(const void *);
26 	void *	(*malloc)(unsigned long size);
27 	void	(*free)(void *ptr);
28 	void *	(*realloc)(void *ptr, unsigned long size);
29 	void	(*exit)(void);
30 	void *	(*vmlinux_alloc)(unsigned long size);
31 	void  	(*kentry)(unsigned long fdt_addr, void *vmlinux_addr);
37 	void *	(*finddevice)(const char *name);
38 	int	(*getprop)(const void *phandle, const char *name, void *buf,
40 	int	(*setprop)(const void *phandle, const char *name,
41 			const void *buf, const int buflen);
42 	int (*del_node)(const void *phandle);
43 	void *(*get_parent)(const void *phandle);
45 	void *(*create_node)(const void *parent, const char *name);
46 	void *(*find_node_by_prop_value)(const void *prev,
49 	void *(*find_node_by_compatible)(const void *prev,
51 	unsigned long (*finalize)(void);
52 	char *(*get_path)(const void *phandle, char *buf, int len);
58 	int	(*open)(void);
59 	void	(*write)(const char *buf, int len);
60 	void	(*edit_cmdline)(char *buf, int len, unsigned int getline_timeout);
61 	void	(*close)(void);
62 	void	*data;
68 	int		(*open)(void);
69 	void		(*putc)(unsigned char c);
70 	unsigned char	(*getc)(void);
71 	u8		(*tstc)(void);
72 	void		(*close)(void);
76 	void *promptr;
83 void start(void);
84 void fdt_init(void *blob);
85 int serial_console_init(void);
86 int ns16550_console_init(void *devp, struct serial_console_data *scdp);
87 int cpm_console_init(void *devp, struct serial_console_data *scdp);
88 int mpc5200_psc_console_init(void *devp, struct serial_console_data *scdp);
89 int opal_console_init(void *devp, struct serial_console_data *scdp);
90 void *simple_alloc_init(char *base, unsigned long heap_size,
92 extern void flush_cache(void *, unsigned long);
93 int dt_xlate_reg(void *node, int res, unsigned long *addr, unsigned long *size);
94 int dt_xlate_addr(void *node, u32 *buf, int buflen, unsigned long *xlated_addr);
95 int dt_is_compatible(void *node, const char *compat);
96 void dt_get_reg_format(void *node, u32 *naddr, u32 *nsize);
97 int dt_get_virtual_reg(void *node, void **addr, int nres);
99 static inline void *finddevice(const char *name)  in finddevice()
104 static inline int getprop(void *devp, const char *name, void *buf, int buflen)  in getprop()
109 static inline int setprop(void *devp, const char *name,  in setprop()
110                           const void *buf, int buflen)  in setprop()
120 static inline int setprop_str(void *devp, const char *name, const char *buf)  in setprop_str()
128 static inline int del_node(const void *devp)  in del_node()
133 static inline void *get_parent(const char *devp)  in get_parent()
138 static inline void *create_node(const void *parent, const char *name)  in create_node()
144 static inline void *find_node_by_prop_value(const void *prev,  in find_node_by_prop_value()
155 static inline void *find_node_by_prop_value_str(const void *prev,  in find_node_by_prop_value_str()
163 static inline void *find_node_by_devtype(const void *prev,  in find_node_by_devtype()
169 static inline void *find_node_by_alias(const char *alias)  in find_node_by_alias()
171 	void *devp = finddevice("/aliases");  in find_node_by_alias()
182 static inline void *find_node_by_compatible(const void *prev,  in find_node_by_compatible()
191 void dt_fixup_memory(u64 start, u64 size);
192 void dt_fixup_cpu_clocks(u32 cpufreq, u32 tbfreq, u32 busfreq);
193 void dt_fixup_clock(const char *path, u32 freq);
194 void dt_fixup_mac_address_by_alias(const char *alias, const u8 *addr);
195 void dt_fixup_mac_address(u32 index, const u8 *addr);
196 void __dt_fixup_mac_addresses(u32 startindex, ...);
201 static inline char *get_path(const void *phandle, char *buf, int len)  in get_path()
209 static inline void *malloc(unsigned long size)  in malloc()
214 static inline void free(void *ptr)  in free()
220 static inline void exit(void)  in exit()  argument
231 	void *_platform_stack_top = _bss_stack + sizeof(_bss_stack);
234 void udelay(long delay);
256 long partial_decompress(void *inbuf, unsigned long input_size, void *outbuf,