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