CVSROOT: /cvs Module name: src Changes by: [email protected] 2019/04/22 14:31:37
Modified files:
sys/arch/amd64/amd64: vmm.c
Log message:
vmm(4): flush guest TLB entries if guest disables paging. While this
behaviour is not mandatory, the SDM says a CPU "may" do this. Better to
be safe than sorry.
A similar treatment will be needed for SVM, and for the cases where the
host CPU does not have VPIDs/ASIDs. Those will be committed separately.
Original diff from Guillaume Pagnoux, thanks!
