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 */ 13