1  /* SPDX-License-Identifier: GPL-2.0-only */
 2  #ifndef FW_CFG_H
 3  #define FW_CFG_H
 4  #include "fw_cfg_if.h"
 5  
 6  void fw_cfg_get(uint16_t entry, void *dst, int dstlen);
 7  int fw_cfg_check_file(FWCfgFile *file, const char *name);
 8  int fw_cfg_max_cpus(void);
 9  unsigned long fw_cfg_smbios_tables(int *handle, unsigned long *current);
10  uintptr_t fw_cfg_tolud(void);
11  
12  #endif /* FW_CFG_H */