Searched refs:CR4_GUEST_HOST_MASK (Results 1 – 3 of 3) sorted by relevance
470 CR4_GUEST_HOST_MASK = 0x00006002, enumerator
1103 cr_gh_mask = get_vvmcs(v, CR4_GUEST_HOST_MASK); in load_shadow_guest_state()2512 u64 cr4_gh_mask = get_vvmcs(v, CR4_GUEST_HOST_MASK); in nvmx_n2_vmexit_handler()2601 mask_field = CR4_GUEST_HOST_MASK; in nvmx_set_cr_read_shadow()
1171 __vmwrite(CR4_GUEST_HOST_MASK, ~0UL); in construct_vmcs()1793 cr4, vmr(CR4_READ_SHADOW), vmr(CR4_GUEST_HOST_MASK)); in vmcs_dump_vcpu()
Completed in 12 milliseconds