Searched refs:vmcs12_write_any (Results 1 – 2 of 2) sorted by relevance
418 static inline void vmcs12_write_any(struct vmcs12 *vmcs12, unsigned long field, in vmcs12_write_any() function
1384 vmcs12_write_any(vmcs12, field.encoding, field.offset, val); in copy_shadow_to_vmcs12()4773 vmcs12_write_any(vmcs12, field, offset, field_value); in handle_vmwrite()
