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 #include +#include #include #include #include @@ -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: * (