Searched refs:fixed1 (Results 1 – 1 of 1) sorted by relevance
471 uint64_t fixed0, fixed1; in vmx_init() local657 fixed1 = rdmsr(MSR_VMX_CR0_FIXED1); in vmx_init()658 cr0_ones_mask = fixed0 & fixed1; in vmx_init()659 cr0_zeros_mask = ~fixed0 & ~fixed1; in vmx_init()673 fixed1 = rdmsr(MSR_VMX_CR4_FIXED1); in vmx_init()674 cr4_ones_mask = fixed0 & fixed1; in vmx_init()675 cr4_zeros_mask = ~fixed0 & ~fixed1; in vmx_init()