svn commit: r273598 - in head: include sys/dev/acpica

[Rui Paulo]

On Oct 25, 2014, at 02:00, Konstantin Belousov <kostikbel at gmail.com> wrote:
> 
> Ok, I did looked at the pte of the HPET page.  I get the value
> 0x80000000fed00025
> which coincides with the resource address 0xfed00000 reported
> by devinfo -vr for hpet (to double-check my findings).  The low
> bits indicate that PAT0 pat entry is used for the page caching
> mode.  Corresponding PAT MSR 0x277 has the following value:
> sandy% sudo cpucontrol -m 0x277 /dev/cpuctl0
> MSR 0x277: 0x00010506 0x00070406
> i.e. memory type is 6, which is write-back, according to SDM.
> This is wrong, as I feared.
> 
> The patch below fixes the issue.  The pte for HPET page is equal to
> 0x80000000fed0003d
> after the patch is applied,  PAT3 is used, and its value is 0 ==
> UNCACHEABLE, as it must be.
> 
> Do you agree with the patch ?

Yes, thanks for working on this!

--
Rui Paulo