Searched refs:VMX_GUEST_CR3 (Results 1 – 9 of 9) sorted by relevance
117 uint64_t guest_cr3 = exec_vmread(VMX_GUEST_CR3); in load_pdptrs()387 uint64_t guest_cr3 = exec_vmread(VMX_GUEST_CR3); in vmx_write_cr4()
117 ext_ctx->cr3 = exec_vmread(VMX_GUEST_CR3); in save_world_ctx()179 exec_vmwrite(VMX_GUEST_CR3, ext_ctx->cr3); in load_world_ctx()
227 pw_info.top_entry = exec_vmread(VMX_GUEST_CR3); in gva2gpa()
33 exec_vmwrite(VMX_GUEST_CR3, cr3); in init_guest_vmx()
358 VMX_GUEST_CR3,1344 exec_vmwrite(VMX_GUEST_CR3, vmcs12->host_cr3); in set_vmcs01_guest_state()
369 ret = VMX_GUEST_CR3; in get_vmcs_field()
88 exec_vmread(VMX_GUEST_CR3)); in dump_guest_reg()
892 exec_vmread(VMX_GUEST_CR3), vcpu_get_cr4(vcpu), in dump_vcpu_reg()
185 #define VMX_GUEST_CR3 0x00006802U macro
Completed in 23 milliseconds