Lines Matching defs:fields
86 * the value+mask loaded into vmcs02 may not match the vmcs12 fields.
88 static inline unsigned long nested_read_cr0(struct vmcs12 *fields)
90 return (fields->guest_cr0 & ~fields->cr0_guest_host_mask) |
91 (fields->cr0_read_shadow & fields->cr0_guest_host_mask);
93 static inline unsigned long nested_read_cr4(struct vmcs12 *fields)
95 return (fields->guest_cr4 & ~fields->cr4_guest_host_mask) |
96 (fields->cr4_read_shadow & fields->cr4_guest_host_mask);
107 * information fields read-only?