Searched refs:vmcs12_read_any (Results 1 – 1 of 1) sorted by relevance
8555 static inline int vmcs12_read_any(struct vmcs12 *vmcs12, in vmcs12_read_any() function8677 vmcs12_read_any(get_vmcs12(&vmx->vcpu), field, &field_value); in copy_vmcs12_to_shadow()8732 if (vmcs12_read_any(vmcs12, field, &field_value) < 0) { in handle_vmread()11737 if (vmcs12_read_any(vmcs12, count_field, &count) || in nested_vmx_check_msr_switch()11738 vmcs12_read_any(vmcs12, addr_field, &addr)) { in nested_vmx_check_msr_switch()
