coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
efs_fmap_check.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #include <amdblocks/psp_efs.h>
4 #include <assert.h>
5 #include <fmap_config.h>
6 #include <soc/iomap.h>
7 
8 _Static_assert(FMAP_SECTION_EFS_START == (FLASH_BASE_ADDR + EFS_OFFSET),
9  "FMAP EFS Offset does not match EFS Offset - check your config");
#define FLASH_BASE_ADDR
Definition: io.h:13
_Static_assert(FMAP_SECTION_EFS_START==(FLASH_BASE_ADDR+EFS_OFFSET), "FMAP EFS Offset does not match EFS Offset - check your config")
#define EFS_OFFSET
Definition: psp_efs.h:9