Searched refs:cr4mask (Results 1 – 1 of 1) sorted by relevance
725 uint64_t cr4mask; in get_misc_vmcs() local726 error = vm_get_vmcs_field(vcpu, VMCS_CR4_MASK, &cr4mask); in get_misc_vmcs()729 cr4mask); in get_misc_vmcs()