Searched refs:vmcs_field_value (Results 1 – 1 of 1) sorted by relevance
267 static inline u64 vmcs_field_value(struct vmcs_field *f, u8 cookie) in vmcs_field_value() function281 vmcs_write(f->encoding, vmcs_field_value(f, cookie)); in set_vmcs_field()306 expected = vmcs_field_value(f, cookie); in check_vmcs_field()