| #ifndef _PPC_BOOT_OF_H_ | 
 | #define _PPC_BOOT_OF_H_ | 
 |  | 
 | typedef void *phandle; | 
 | typedef void *ihandle; | 
 |  | 
 | void of_init(void *promptr); | 
 | int of_call_prom(const char *service, int nargs, int nret, ...); | 
 | void *of_claim(unsigned long virt, unsigned long size, unsigned long align); | 
 | void *of_vmlinux_alloc(unsigned long size); | 
 | void of_exit(void); | 
 | void *of_finddevice(const char *name); | 
 | int of_getprop(const void *phandle, const char *name, void *buf, | 
 | 	       const int buflen); | 
 | int of_setprop(const void *phandle, const char *name, const void *buf, | 
 | 	       const int buflen); | 
 |  | 
 | /* Console functions */ | 
 | void of_console_init(void); | 
 |  | 
 | #endif /* _PPC_BOOT_OF_H_ */ |