8 #include <soc/soc_util.h>
9 #include <soc/pci_devs.h>
24 tseg_limit += 1 *
MiB;
27 *size = tseg_limit - tseg_base;
39 printk(
BIOS_DEBUG,
"cbmem base_ptr: 0x%lx, size: 0x%zx\n", cbmem_base, cbmem_size);
41 cbmem_base -= 4 *
MiB;
45 cbmem_size =
ALIGN_UP(top_of_ram - cbmem_base, 4 *
MiB);
49 if (
CONFIG(TSEG_STAGE_CACHE))
53 #if !defined(__SIMPLE_DEVICE__)
70 for (
int socket = 0; socket < hob->PlatformData.numofIIO; ++socket) {
71 for (
int stack = 0; stack < MAX_IIO_STACK; ++stack) {
73 &hob->PlatformData.IIO_resource[socket].StackRes[stack];
86 if (dpr.raw != test_dpr.
raw) {
void postcar_frame_add_mtrr(struct postcar_frame *pcf, uintptr_t addr, size_t size, int type)
void postcar_enable_tseg_cache(struct postcar_frame *pcf)
void cbmem_get_region(void **baseptr, size_t *size)
#define printk(level,...)
static __always_inline u32 pci_read_config32(const struct device *dev, u16 reg)
bool is_iio_stack_res(const STACK_RES *res)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
#define BIOS_ERR
BIOS_ERR - System in incomplete state.
void fill_postcar_frame(struct postcar_frame *pcf)
void smm_region(uintptr_t *start, size_t *size)
union dpr_register txt_get_chipset_dpr(void)
#define VTD_TSEG_BASE_CSR
#define VTD_TSEG_LIMIT_CSR
const IIO_UDS * get_iio_uds(void)
typedef void(X86APIP X86EMU_intrFuncs)(int num)