![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <assert.h>
#include <commonlib/helpers.h>
#include <console/console.h>
#include <cpu/x86/smm.h>
#include <stage_cache.h>
#include <types.h>
#include <inttypes.h>
Go to the source code of this file.
Functions | |
int | smm_subregion (int sub, uintptr_t *start, size_t *size) |
void | stage_cache_external_region (void **base, size_t *size) |
void | smm_list_regions (void) |
Definition at line 70 of file tseg_region.c.
References base, BIOS_DEBUG, printk, PRIxPTR, smm_region(), smm_subregion(), and SMM_SUBREGION_NUM.
Referenced by car_stage_entry(), and romstage_main().
Definition at line 22 of file tseg_region.c.
References ASSERT, IS_ALIGNED, smm_region(), SMM_SUBREGION_CACHE, SMM_SUBREGION_CHIPSET, and SMM_SUBREGION_HANDLER.
Referenced by fill_in_relocation_params(), get_smm_info(), smm_info(), smm_list_regions(), and stage_cache_external_region().
Definition at line 61 of file tseg_region.c.
References base, BIOS_ERR, NULL, printk, smm_subregion(), and SMM_SUBREGION_CACHE.
Referenced by stage_cache_create_empty(), and stage_cache_recover().