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