vmm: move ept pointer configuration to vcpu_init_vmx
authordv <dv@openbsd.org>
Mon, 27 Jun 2022 15:12:14 +0000 (15:12 +0000)
committerdv <dv@openbsd.org>
Mon, 27 Jun 2022 15:12:14 +0000 (15:12 +0000)
commit8e3f5c2c66d0f18c1109c9464fa6b2cc46ba1f92
treec6ccc792891ed2c87a682e4d8653e04765f4fa39
parentbde39c359d9e72963516d6eecdca33fbe33904e4
vmm: move ept pointer configuration to vcpu_init_vmx

No need to be twiddling eptp in vcpu_reset_regs.

ok mlarkin@
sys/arch/amd64/amd64/vmm.c