coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
fw_cfg.h
Go to the documentation of this file.
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);
11 
12 #endif /* FW_CFG_H */
const char * name
Definition: mmu.c:92
void fw_cfg_get(uint16_t entry, void *dst, int dstlen)
Definition: fw_cfg.c:58
int fw_cfg_check_file(FWCfgFile *file, const char *name)
Definition: fw_cfg.c:85
int fw_cfg_max_cpus(void)
Definition: fw_cfg.c:131
uintptr_t fw_cfg_tolud(void)
Definition: fw_cfg.c:115
unsigned long fw_cfg_smbios_tables(int *handle, unsigned long *current)
Definition: fw_cfg.c:424
unsigned short uint16_t
Definition: stdint.h:11
unsigned long uintptr_t
Definition: stdint.h:21
Definition: gcov-glue.c:7