Searched refs:VMCS_HOST_CR3 (Results 1 – 3 of 3) sorted by relevance
231 #define VMCS_HOST_CR3 0x00006C02 macro
2792 vmcs_write(VMCS_HOST_CR3, rcr3()); in vmx_run()
1042 error = vm_get_vmcs_field(vcpu, VMCS_HOST_CR3, &cr3); in get_misc_vmcs()