Run Nindent on com32/modules/vpdtest.c
authorH. Peter Anvin <hpa@zytor.com>
Fri, 29 May 2009 22:10:31 +0000 (15:10 -0700)
committerH. Peter Anvin <hpa@zytor.com>
Fri, 29 May 2009 22:10:31 +0000 (15:10 -0700)
Automatically reformat com32/modules/vpdtest.c using Nindent.

Do this for all files except HDT, gPXE and externally maintained
libraries (zlib, tinyjpeg, libpng).

Signed-off-by: H. Peter Anvin <hpa@zytor.com>
com32/modules/vpdtest.c

index 81a9fae..5950b2c 100644 (file)
 
 int main(void)
 {
-  char buffer[1024];
-  s_vpd vpd;
-  openconsole(&dev_stdcon_r, &dev_stdcon_w);
+    char buffer[1024];
+    s_vpd vpd;
+    openconsole(&dev_stdcon_r, &dev_stdcon_w);
 
-  if (vpd_decode(&vpd) == -ENOVPDTABLE) {
+    if (vpd_decode(&vpd) == -ENOVPDTABLE) {
        printf("No VPD Structure found\n");
        return -1;
-  } else {
-       printf("VPD present at address : 0x%s\n",vpd.base_address);
-  }
-  if (strlen(vpd.bios_build_id)>0)
-         printf("Bios Build ID                 : %s\n",vpd.bios_build_id);
-  if (strlen(vpd.bios_release_date)>0)
-         printf("Bios Release Date             : %s\n",vpd.bios_release_date);
-  if (strlen(vpd.bios_version)>0)
-         printf("Bios Version                  : %s\n",vpd.bios_version);
-  if (strlen(vpd.default_flash_filename)>0)
-         printf("Default Flash Filename        : %s\n",vpd.default_flash_filename);
-  if (strlen(vpd.box_serial_number)>0)
-         printf("Box Serial Number             : %s\n",vpd.box_serial_number);
-  if (strlen(vpd.motherboard_serial_number)>0)
-         printf("Motherboard Serial Number     : %s\n",vpd.motherboard_serial_number);
-  if (strlen(vpd.machine_type_model)>0)
-         printf("Machine Type/Model            : %s\n",vpd.machine_type_model);
+    } else {
+       printf("VPD present at address : 0x%s\n", vpd.base_address);
+    }
+    if (strlen(vpd.bios_build_id) > 0)
+       printf("Bios Build ID                 : %s\n", vpd.bios_build_id);
+    if (strlen(vpd.bios_release_date) > 0)
+       printf("Bios Release Date             : %s\n", vpd.bios_release_date);
+    if (strlen(vpd.bios_version) > 0)
+       printf("Bios Version                  : %s\n", vpd.bios_version);
+    if (strlen(vpd.default_flash_filename) > 0)
+       printf("Default Flash Filename        : %s\n",
+              vpd.default_flash_filename);
+    if (strlen(vpd.box_serial_number) > 0)
+       printf("Box Serial Number             : %s\n", vpd.box_serial_number);
+    if (strlen(vpd.motherboard_serial_number) > 0)
+       printf("Motherboard Serial Number     : %s\n",
+              vpd.motherboard_serial_number);
+    if (strlen(vpd.machine_type_model) > 0)
+       printf("Machine Type/Model            : %s\n", vpd.machine_type_model);
 
-  return 0;
+    return 0;
 }