eb27b1567e
manuals specifically say that reading the counters using the rdmsr instruction returns a 64 bit value of which the higher 24 bits are undefined. The code that reads the counters should then clear the high 24 bits. PR: i386/10632 |
||
---|---|---|
.. | ||
apm | ||
bios | ||
boot | ||
conf | ||
eisa | ||
i386 | ||
ibcs2 | ||
include | ||
isa | ||
linux | ||
pci | ||
svr4 | ||
Makefile |