Searched refs:vmcs12_read_any (Results 1 – 2 of 2) sorted by relevance
398 static inline u64 vmcs12_read_any(struct vmcs12 *vmcs12, unsigned long field, in vmcs12_read_any() function
1417 val = vmcs12_read_any(vmcs12, field.encoding, in copy_vmcs12_to_shadow()4650 field_value = vmcs12_read_any(vmcs12, field, offset); in handle_vmread()