Searched refs:CR4_GUEST_HOST_MASK (Results 1 – 4 of 4) sorted by relevance
487 CR4_GUEST_HOST_MASK = 0x00006002, enumerator
1136 cr_gh_mask = get_vvmcs(v, CR4_GUEST_HOST_MASK); in load_shadow_guest_state()1142 __vmwrite(CR4_GUEST_HOST_MASK, v->arch.hvm.vmx.cr4_host_mask); in load_shadow_guest_state()2699 u64 cr4_gh_mask = get_vvmcs(v, CR4_GUEST_HOST_MASK); in nvmx_n2_vmexit_handler()2793 mask_field = CR4_GUEST_HOST_MASK; in nvmx_set_cr_read_shadow()
1232 __vmwrite(CR4_GUEST_HOST_MASK, ~0UL); in construct_vmcs()1985 cr4, vmr(CR4_READ_SHADOW), vmr(CR4_GUEST_HOST_MASK)); in vmcs_dump_vcpu()
1556 CR4_GUEST_HOST_MASK); in vmx_update_guest_cr()1558 __vmwrite(CR4_GUEST_HOST_MASK, v->arch.hvm.vmx.cr4_host_mask); in vmx_update_guest_cr()
Completed in 19 milliseconds