1 /* SPDX-License-Identifier: GPL-2.0-only */
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);