Displaying 1 result from an estimated 1 matches for "ff0fdfc0".
Did you mean:
1f00dfc0
2007 Aug 09
2
Bad FADT and timer going backwards
...)
(XEN) 0000000000100000 - 000000003ffcd000 (usable)
(XEN) 000000003ffcdec0 - 000000003ffd0000 (ACPI data)
(XEN) 000000003ffd0000 - 0000000040000000 (reserved)
(XEN) 00000000fec00000 - 0000000100000000 (reserved)
(XEN) System RAM: 1023MB (1047976kB)
(XEN) ACPI table at 0xfdfc0 mapped to address ff0fdfc0
(XEN) ACPI: RSDP (v000 IBM ) @
0x000fdfc0
(XEN) ACPI table at 0x3ffcff80 mapped to address fff9bf80
(XEN) ACPI table at 0x3ffcff80 mapped to address fff9bf80
(XEN) ACPI: RSDT (v001 IBM SERBLADE 0x00001000 IBM 0x45444f43) @
0x3ffcff80
(XEN) ACPI table at 0x3ff...