Branch data     Line data    Source code

       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                 :         11 : static inline void olpc_ofw_detect(void) { }
      34         [ -  + ]:         11 : 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 */