ACPI / LPSS: Make acpi_lpss_find_device() also find PCI devices
[linux/fpc-iii.git] / arch / x86 / include / asm / olpc_ofw.h
blob8c2a1daf7f72aa544f1e772dd9666e2f6602d5b4
1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_X86_OLPC_OFW_H
3 #define _ASM_X86_OLPC_OFW_H
5 /* index into the page table containing the entry OFW occupies */
6 #define OLPC_OFW_PDE_NR 1022
8 #define OLPC_OFW_SIG 0x2057464F /* aka "OFW " */
10 #ifdef CONFIG_OLPC
12 extern bool olpc_ofw_is_installed(void);
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)
18 extern int __olpc_ofw(const char *name, int nr_args, const void **args, int nr_res,
19 void **res);
21 /* determine whether OFW is available and lives in the proper memory */
22 extern void olpc_ofw_detect(void);
24 /* install OFW's pde permanently into the kernel's pgtable */
25 extern void setup_olpc_ofw_pgd(void);
27 /* check if OFW was detected during boot */
28 extern bool olpc_ofw_present(void);
30 extern void olpc_dt_build_devicetree(void);
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 */
38 #endif /* _ASM_X86_OLPC_OFW_H */