| |
|
 |
|
 |
|
|
|
| |
|
|
xen-devel
Re: [Xen-devel] Bad FADT and timer going backwards
On 9/8/07 14:52, "Stefan Berger" <stefanb@xxxxxxxxxx> wrote:
> (XEN) ACPI table at 0x3ffcfec0 mapped to address fff9bec0
> (XEN) ACPI table at 0x3ffcdec0 mapped to address fff9bec0
Is it 'ok' that these two different phys. addresses get mapped to the same virtual address?
It’s expected. See the implementation of __acpi_map_table(). For this reason, the pointer returned by __acpi_map_table() is only guaranteed valid until the next invocation of __acpi_map_table().
-- Keir
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel
|
|
|
| |
|
Home