On Oct 25, 2014, at 02:00, Konstantin Belousov <kostik...@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 _______________________________________________ svn-src-head@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/svn-src-head To unsubscribe, send any mail to "svn-src-head-unsubscr...@freebsd.org"
