Searched refs:cr0mask (Results 1 – 1 of 1) sorted by relevance
708 uint64_t cr0mask; in get_misc_vmcs() local709 error = vm_get_vmcs_field(vcpu, VMCS_CR0_MASK, &cr0mask); in get_misc_vmcs()711 printf("cr0_mask[%d]\t\t0x%016lx\n", vcpuid, cr0mask); in get_misc_vmcs()