Searched refs:vmcs12_read_any (Results 1 – 3 of 3) sorted by relevance
110 return vmcs12_read_any((void *)evmcs, field, offset); in evmcs_read_any()
386 static inline u64 vmcs12_read_any(struct vmcs12 *vmcs12, unsigned long field, in vmcs12_read_any() function
1584 val = vmcs12_read_any(vmcs12, field.encoding, in copy_vmcs12_to_shadow()5171 value = vmcs12_read_any(vmcs12, field, offset); in handle_vmread()