return NULL;
        }
 
-    return NULL;
+       return NULL;
 }
 
 static enum bp_result bios_parser_get_i2c_info(struct dc_bios *dcb,
            default:
                object = get_bios_object(bp, id);
 
-                       if (!object)
-                               return BP_RESULT_BADINPUT;
+               if (!object)
+                       return BP_RESULT_BADINPUT;
 
                record = get_hpd_record(bp, object);
 
                /* getBiosObject will return MXM object */
                object = get_bios_object(bp, connector_object_id);
 
-                       if (!object) {
-                               BREAK_TO_DEBUGGER(); /* Invalid object id */
-                               return BP_RESULT_BADINPUT;
-                       }
+               if (!object) {
+                       BREAK_TO_DEBUGGER(); /* Invalid object id */
+                       return BP_RESULT_BADINPUT;
+               }
 
                info->acpi_device = 0; /* BIOS no longer provides this */
                info->dev_id = device_type_from_device_id(object->device_tag);
                        break;
        }
 
-    return false;
+       return false;
 }
 
 static uint32_t bios_parser_get_ss_entry_number(