Searched refs:GUEST_CR3 (Results 1 – 4 of 4) sorted by relevance
478 GUEST_CR3 = 0x00006802, enumerator
1074 rc = hvm_set_cr3(get_vvmcs(v, GUEST_CR3), 1); in load_shadow_guest_state()1236 shadow_to_vvmcs(v, GUEST_CR3); in sync_vvmcs_guest_state()
1690 __vmwrite(GUEST_CR3, v->arch.hvm_vcpu.hw_cr[3]); in vmx_update_guest_cr()3521 __vmread(GUEST_CR3, &v->arch.hvm_vcpu.hw_cr[3]); in vmx_vmexit_handler()
1794 printk("CR3 = 0x%016lx\n", vmr(GUEST_CR3)); in vmcs_dump_vcpu()
Completed in 18 milliseconds