| David Gibson | 2e60161 | 2007-06-13 14:52:54 +1000 | [diff] [blame] | 1 | #ifndef _PPC_BOOT_OF_H_ |
| 2 | #define _PPC_BOOT_OF_H_ |
| 3 | |
| 4 | typedef void *phandle; |
| 5 | typedef void *ihandle; |
| 6 | |
| 7 | void of_init(void *promptr); |
| 8 | int of_call_prom(const char *service, int nargs, int nret, ...); |
| 9 | void *of_claim(unsigned long virt, unsigned long size, unsigned long align); |
| David Gibson | 0846471 | 2007-06-27 16:54:58 +1000 | [diff] [blame] | 10 | void *of_vmlinux_alloc(unsigned long size); |
| David Gibson | 2e60161 | 2007-06-13 14:52:54 +1000 | [diff] [blame] | 11 | void of_exit(void); |
| David Gibson | 0846471 | 2007-06-27 16:54:58 +1000 | [diff] [blame] | 12 | void *of_finddevice(const char *name); |
| 13 | int of_getprop(const void *phandle, const char *name, void *buf, |
| 14 | const int buflen); |
| 15 | int of_setprop(const void *phandle, const char *name, const void *buf, |
| 16 | const int buflen); |
| David Gibson | 2e60161 | 2007-06-13 14:52:54 +1000 | [diff] [blame] | 17 | |
| 18 | /* Console functions */ |
| 19 | void of_console_init(void); |
| 20 | |
| 21 | #endif /* _PPC_BOOT_OF_H_ */ |