b8c4149cff
interrupted while writing into the VHPT table. While here, make sure memory accesses a properly ordered. Tag invalidation must happen first so that the hardware VHPT walker will not be able to match this entry while we're updating it and we have to make sure the new new tag gets written only after the PTE is completely updated. Approved by: re (blanket) |
||
---|---|---|
.. | ||
acpica | ||
compile | ||
conf | ||
ia32 | ||
ia64 | ||
include | ||
isa | ||
pci |