GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

fix HPET base addressed. 

Signed-off-by: Stefan Reinauer <stepan@coresystems.de>
Acked-by: Stefan Reinauer <stepan@coresystems.de>



git-svn-id: svn://svn.coreboot.org/coreboot/trunk@5241 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
This commit is contained in:
Stefan Reinauer 2010-03-17 03:14:28 +00:00 committed by Stefan Reinauer
parent d4e77df579
commit b319b1778c
4 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/southbridge/intel/i82801ax/i82801ax.h
View File

@ -115,6 +115,6 @@ extern void i82801ax_enable(device_t dev);
#define SMBUS_TIMEOUT (10 * 1000 * 100)
/* HPET, if present */
#define HPET_ADDR 0xfed0000
#define HPET_ADDR 0xfed00000
#endif /* SOUTHBRIDGE_INTEL_I82801AX_I82801AX_H */

2
src/southbridge/intel/i82801bx/i82801bx.h
View File

@ -115,7 +115,7 @@ extern void i82801bx_enable(device_t dev);
#define SMBUS_TIMEOUT (10 * 1000 * 100)
/* HPET, if present */
#define HPET_ADDR 0xfed0000
#define HPET_ADDR 0xfed00000
#endif /* SOUTHBRIDGE_INTEL_I82801BX_I82801BX_H */

4
src/southbridge/intel/i82801dx/i82801dx_lpc.c
View File

@ -114,7 +114,7 @@ void i82801dx_1f0_misc(struct device *dev)
static void enable_hpet(struct device *dev)
{
const unsigned long hpet_address = 0xfed0000;
const unsigned long hpet_address = 0xfed00000;
u32 dword;
u32 code = (0 & 0x3);
@ -130,7 +130,7 @@ static void enable_hpet(struct device *dev)
dword &= ~(3 << 15); /* clear it */
dword |= (code << 15);
printk_debug("enabling HPET @0x%x\n", hpet_address | (code << 12));
printk_debug("enabling HPET @0x%lx\n", hpet_address | (code << 12));
}
static void lpc_init(struct device *dev)

2
src/southbridge/intel/i82801ex/i82801ex_lpc.c
View File

@ -214,7 +214,7 @@ static void i82801ex_gpio_init(device_t dev)
static void enable_hpet(struct device *dev)
{
const unsigned long hpet_address = 0xfed0000;
const unsigned long hpet_address = 0xfed00000;
uint32_t dword;
uint32_t code = (0 & 0x3);