| created | 2023-12-06T06:56:49Z |
|---|---|
| begin | 2023-11-26T05:47:54Z |
| end | 2023-11-26T13:02:44Z |
| path | src/sys |
| commits | 1 |
| date | 2023-11-26T13:02:44Z | |||
|---|---|---|---|---|
| author | dv | |||
| files | src/sys/arch/amd64/amd64/vmm_machdep.c | log | diff | annotate |
| message |
vmm(4)/vmx: pass correct vpid value to invvpid. While vmm's use of invvpid in the vmx vcpu run loop is questionable since we require and use EPT, the vpid value is unquestionably wrong in these calls. ok mlarkin@ |
|||