| created | 2024-07-30T02:14:25Z |
|---|---|
| begin | 2024-07-26T15:51:09Z |
| end | 2024-07-26T15:59:04Z |
| path | src/sys |
| commits | 1 |
| date | 2024-07-26T15:59:04Z | |||
|---|---|---|---|---|
| author | bluhm | |||
| files | src/sys/arch/amd64/amd64/vmm_machdep.c | log | diff | annotate |
| 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@ |
|||