f888763dd8
Set the accessed and dirty bits in the page table entry. If it fails then restart the page table walk from the beginning. This might happen if another vcpu modifies the page tables simultaneously. Reviewed by: alc, kib |
||
---|---|---|
.. | ||
acpica | ||
amd64 | ||
conf | ||
ia32 | ||
include | ||
linux32 | ||
pci | ||
vmm | ||
Makefile |