Lines Matching defs:fixed0
248 * if fixed0[i] == 1: val[i] must be 1
251 static inline bool fixed_bits_valid(u64 val, u64 fixed0, u64 fixed1)
253 return ((val & fixed1) | fixed0) == val;
258 u64 fixed0 = to_vmx(vcpu)->nested.msrs.cr0_fixed0;
265 fixed0 &= ~(X86_CR0_PE | X86_CR0_PG);
267 return fixed_bits_valid(val, fixed0, fixed1);
272 u64 fixed0 = to_vmx(vcpu)->nested.msrs.cr0_fixed0;
275 return fixed_bits_valid(val, fixed0, fixed1);
280 u64 fixed0 = to_vmx(vcpu)->nested.msrs.cr4_fixed0;
283 return fixed_bits_valid(val, fixed0, fixed1);