28 lines
710 B
C
28 lines
710 B
C
|
/*
|
||
|
* This file is part of the coreboot project.
|
||
|
*
|
||
|
* Copyright (C) 2015 Intel Corp.
|
||
|
* (Written by Andrey Petrov <andrey.petrov@intel.com> for Intel Corp.)
|
||
|
*
|
||
|
* This program is free software; you can redistribute it and/or modify
|
||
|
* it under the terms of the GNU General Public License as published by
|
||
|
* the Free Software Foundation; either version 2 of the License, or
|
||
|
* (at your option) any later version.
|
||
|
*/
|
||
|
|
||
|
#include <arch/io.h>
|
||
|
#include <cbmem.h>
|
||
|
#include <device/pci.h>
|
||
|
#include <soc/northbridge.h>
|
||
|
#include <soc/pci_devs.h>
|
||
|
|
||
|
static uintptr_t smm_region_start(void)
|
||
|
{
|
||
|
return ALIGN_DOWN(pci_read_config32(NB_DEV_ROOT, TSEG), 1*MiB);
|
||
|
}
|
||
|
|
||
|
void *cbmem_top(void)
|
||
|
{
|
||
|
return (void *)smm_region_start();
|
||
|
}
|