diff options
| -rw-r--r-- | src/drivers/smmstore/store.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/drivers/smmstore/store.c b/src/drivers/smmstore/store.c index 24e8a88edd..6ba3f53695 100644 --- a/src/drivers/smmstore/store.c +++ b/src/drivers/smmstore/store.c @@ -2,6 +2,7 @@ #include <boot_device.h> #include <fmap.h> +#include <fmap_config.h> #include <commonlib/helpers.h> #include <commonlib/region.h> #include <console/console.h> @@ -10,6 +11,13 @@ #define SMMSTORE_REGION "SMMSTORE" + +_Static_assert(IS_ALIGNED(FMAP_SECTION_SMMSTORE_START, SMM_BLOCK_SIZE), + "SMMSTORE FMAP region not aligned to 64K"); + +_Static_assert(SMM_BLOCK_SIZE <= FMAP_SECTION_SMMSTORE_SIZE, + "SMMSTORE FMAP region must be at least 64K"); + /* * The region format is still not finalized, but so far it looks like this: * ( |