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