| commit | 0d4804b31f91cfbcff6d62af0bc09a893a1c8ae0 | [log] [tgz] |
|---|---|---|
| author | Wim Van Sebroeck <wim@iguana.be> | Fri May 11 18:59:24 2007 +0000 |
| committer | Wim Van Sebroeck <wim@iguana.be> | Fri May 11 18:59:24 2007 +0000 |
| tree | fb86bcf061d17cfa6924ac08dccd242d8424201a | |
| parent | 04bf3b4f5fc033adf921f2e57d034ddbebef5fe7 [diff] |
[WATCHDOG] iTCO_wdt.c - fix ACPI Base register
The ACPI/PM base I/O address which is the base
for the TCO registers is defined as bits [15:7]
(highest bit is 31, lowest is 0)
The code however only reads bits [14:7]. So
base_address &= 0x00007f80;
needs to be:
base_address &= 0x0000ff80;
This patch fixes this.
Signed-off-by: Ate Wijma <ajwijma@hotmail.com>
Signed-off-by: Wim Van Sebroeck <wim@iguana.be>