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