get_vmcs12_field_offset
if (get_vmcs12_field_offset(field) < 0)
offset = get_vmcs12_field_offset(field);