26 const size_t ied_size = CONFIG_IED_REGION_SIZE;
27 const size_t cache_size = CONFIG_SMM_RESERVED_SIZE;
32 ASSERT(sub_size > (cache_size + ied_size));
38 sub_size -= cache_size;
42 sub_base += sub_size - (ied_size + cache_size);
43 sub_size = cache_size;
47 sub_base += sub_size - ied_size;
#define printk(level,...)
void smm_region(uintptr_t *start, size_t *size)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
#define BIOS_ERR
BIOS_ERR - System in incomplete state.
void stage_cache_external_region(void **base, size_t *size)
void smm_list_regions(void)
int smm_subregion(int sub, uintptr_t *start, size_t *size)