Searched refs:GUEST_CR4 (Results 1 – 4 of 4) sorted by relevance
| /xen/xen/arch/x86/hvm/vmx/ |
| A D | vvmx.c | 1099 rc = hvm_set_cr4(get_vvmcs(v, GUEST_CR4), true); in load_shadow_guest_state()
1137 cr_read_shadow = (get_vvmcs(v, GUEST_CR4) & ~cr_gh_mask) | in load_shadow_guest_state()
1284 set_vvmcs(v, GUEST_CR4, v->arch.hvm.guest_cr[4]); in sync_vvmcs_guest_state()
2707 u64 guest_cr4 = get_vvmcs(v, GUEST_CR4); in nvmx_n2_vmexit_handler()
2709 set_vvmcs(v, GUEST_CR4, in nvmx_n2_vmexit_handler()
2791 cr_field = GUEST_CR4; in nvmx_set_cr_read_shadow()
|
| A D | vmx.c | 1525 __vmwrite(GUEST_CR4, v->arch.hvm.hw_cr[4]); in vmx_update_guest_cr()
3683 __vmread(GUEST_CR4, &v->arch.hvm.hw_cr[4]); in vmx_vmexit_handler()
|
| A D | vmcs.c | 1968 cr4 = vmr(GUEST_CR4); in vmcs_dump_vcpu()
|
| /xen/xen/include/asm-x86/hvm/vmx/ |
| A D | vmcs.h | 496 GUEST_CR4 = 0x00006804, enumerator
|
Completed in 19 milliseconds