diff options
| author | Dave Voutila <dv@cvs.openbsd.org> | 2023-11-26 13:02:45 +0000 |
|---|---|---|
| committer | Dave Voutila <dv@cvs.openbsd.org> | 2023-11-26 13:02:45 +0000 |
| commit | cbeb91adea9caa5574de4461b32d5619ca262ac6 (patch) | |
| tree | 42e34ad926e9acff058daf3cf480ac3488afb2c1 /sys/dev/radio.c | |
| parent | be0d8d81b318ddfd07dc0ef1c897f40784d550d7 (diff) | |
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@
Diffstat (limited to 'sys/dev/radio.c')
0 files changed, 0 insertions, 0 deletions