Searched refs:VMCS_HOST_RIP (Results 1 – 3 of 3) sorted by relevance
417 if ((error = vmwrite(VMCS_HOST_RIP, in vmcs_init()421 if ((error = vmwrite(VMCS_HOST_RIP, in vmcs_init()
288 #define VMCS_HOST_RIP 0x00006c16 macro
989 error = vm_get_vmcs_field(vcpu, VMCS_HOST_RIP, &rip); in get_misc_vmcs()