Searched refs:GUEST_CR4 (Results 1 – 4 of 4) sorted by relevance
1070 rc = hvm_set_cr4(get_vvmcs(v, GUEST_CR4), 1); in load_shadow_guest_state()1104 cr_read_shadow = (get_vvmcs(v, GUEST_CR4) & ~cr_gh_mask) | in load_shadow_guest_state()2520 u64 guest_cr4 = get_vvmcs(v, GUEST_CR4); in nvmx_n2_vmexit_handler()2522 set_vvmcs(v, GUEST_CR4, in nvmx_n2_vmexit_handler()2599 cr_field = GUEST_CR4; in nvmx_set_cr_read_shadow()
1786 cr4 = vmr(GUEST_CR4); in vmcs_dump_vcpu()
1674 __vmwrite(GUEST_CR4, v->arch.hvm_vcpu.hw_cr[4]); in vmx_update_guest_cr()
479 GUEST_CR4 = 0x00006804, enumerator
Completed in 18 milliseconds