On Fri, Dec 05, 2008 at 08:58:39AM -0800, Moore, Robert wrote: > >> 1) Use the RSDT instead of the XSDT and automatically get the "correct" > >FADT with no 64-bit register definitions. > >> > >> 2) Use the XSDT as is done today, but use the 32-bit values instead of > >the 64-bit values in the extended FADT. > > > What we really want to know is what does windows do, (1), or (2). So far I haven't managed to find any machines that have differing values in the version 1 FADT and the 32-bit values of the version 2 one, so it's difficult to know. Best bet would probably be a qemu setup that feeds different values for this - I think some people in Intel had something like this for some previous testing? -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html