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