CVSROOT: /cvs
Module name: src
Changes by: bl...@cvs.openbsd.org 2024/07/26 09:59:04
Modified files:
sys/arch/amd64/amd64: vmm_machdep.c
Log message:
On AMD vmm(4) set SVM_INTERCEPT_INVLPGA in intercept1.
According to the AMD64 Architecture Programmer's Manual volume 2
the intercept SVM_INTERCEPT_INVLPGA needs to be set in vmcb.intercept1
(vector 3, offest 00Ch) instead of intercept2 (vector 4, offset
010h). SVM_INTERCEPT_INVLPGA is bit 26, so before vcpu_reset_regs_svm()
was actually setting an intercept for CR10, which does not exist.
from hshoexer@; OK mlarkin@
