1#ifndef _ASM_X86_OLPC_OFW_H
2#define _ASM_X86_OLPC_OFW_H
3
4/* index into the page table containing the entry OFW occupies */
5#define OLPC_OFW_PDE_NR 1022
6
7#define OLPC_OFW_SIG 0x2057464F	/* aka "OFW " */
8
9#ifdef CONFIG_OLPC
10
11extern bool olpc_ofw_is_installed(void);
12
13/* run an OFW command by calling into the firmware */
14#define olpc_ofw(name, args, res) \
15	__olpc_ofw((name), ARRAY_SIZE(args), args, ARRAY_SIZE(res), res)
16
17extern int __olpc_ofw(const char *name, int nr_args, const void **args, int nr_res,
18		void **res);
19
20/* determine whether OFW is available and lives in the proper memory */
21extern void olpc_ofw_detect(void);
22
23/* install OFW's pde permanently into the kernel's pgtable */
24extern void setup_olpc_ofw_pgd(void);
25
26/* check if OFW was detected during boot */
27extern bool olpc_ofw_present(void);
28
29extern void olpc_dt_build_devicetree(void);
30
31#else /* !CONFIG_OLPC */
32static inline void olpc_ofw_detect(void) { }
33static inline void setup_olpc_ofw_pgd(void) { }
34static inline void olpc_dt_build_devicetree(void) { }
35#endif /* !CONFIG_OLPC */
36
37#endif /* _ASM_X86_OLPC_OFW_H */
38