From 499d291daadc10dbd48e286d21efa84b7f259067 Mon Sep 17 00:00:00 2001
From: Gabriel Somlo <gsomlo@gmail.com>
Date: Sat, 4 Jul 2020 15:22:28 -0400
Subject: [PATCH] liblitesdcard/sdcard: cosmetic: fix indentation, eliminate
 redundant counter

---
 litex/soc/software/liblitesdcard/sdcard.c | 37 +++++++++++++----------
 1 file changed, 21 insertions(+), 16 deletions(-)

diff --git a/litex/soc/software/liblitesdcard/sdcard.c b/litex/soc/software/liblitesdcard/sdcard.c
index b3ad3f322..222e78d11 100644
--- a/litex/soc/software/liblitesdcard/sdcard.c
+++ b/litex/soc/software/liblitesdcard/sdcard.c
@@ -250,8 +250,9 @@ int sdcard_switch(unsigned int mode, unsigned int group, unsigned int value, uns
 	sdcore_cmd_argument_write(arg);
 	sdcore_block_length_write(64);
 	sdcore_block_count_write(1);
-	sdcore_cmd_command_write((6 << 8) | SDCARD_CTRL_RESPONSE_SHORT |
-						 (SDCARD_CTRL_DATA_TRANSFER_READ << 5));
+	sdcore_cmd_command_write((6 << 8) |
+				 SDCARD_CTRL_RESPONSE_SHORT |
+				 (SDCARD_CTRL_DATA_TRANSFER_READ << 5));
 	sdcore_cmd_send_write(1);
 	sdcard_wait_response();
 	return sdcard_wait_data_done();
@@ -264,8 +265,9 @@ int sdcard_app_send_scr(void) {
 	sdcore_cmd_argument_write(0x00000000);
 	sdcore_block_length_write(8);
 	sdcore_block_count_write(1);
-	sdcore_cmd_command_write((51 << 8) | SDCARD_CTRL_RESPONSE_SHORT |
-						 (SDCARD_CTRL_DATA_TRANSFER_READ << 5));
+	sdcore_cmd_command_write((51 << 8) |
+				 SDCARD_CTRL_RESPONSE_SHORT |
+				 (SDCARD_CTRL_DATA_TRANSFER_READ << 5));
 	sdcore_cmd_send_write(1);
 	sdcard_wait_response();
 	return sdcard_wait_data_done();
@@ -291,8 +293,9 @@ int sdcard_write_single_block(unsigned int blockaddr) {
 		sdcore_cmd_argument_write(blockaddr);
 		sdcore_block_length_write(512);
 		sdcore_block_count_write(1);
-		sdcore_cmd_command_write((24 << 8) | SDCARD_CTRL_RESPONSE_SHORT |
-							 (SDCARD_CTRL_DATA_TRANSFER_WRITE << 5));
+		sdcore_cmd_command_write((24 << 8) |
+					 SDCARD_CTRL_RESPONSE_SHORT |
+					 (SDCARD_CTRL_DATA_TRANSFER_WRITE << 5));
 		sdcore_cmd_send_write(1);
 		cmd_response = sdcard_wait_response();
 	}
@@ -308,8 +311,9 @@ int sdcard_write_multiple_block(unsigned int blockaddr, unsigned int blockcnt) {
 		sdcore_cmd_argument_write(blockaddr);
 		sdcore_block_length_write(512);
 		sdcore_block_count_write(blockcnt);
-		sdcore_cmd_command_write((25 << 8) | SDCARD_CTRL_RESPONSE_SHORT |
-							 (SDCARD_CTRL_DATA_TRANSFER_WRITE << 5));
+		sdcore_cmd_command_write((25 << 8) |
+					 SDCARD_CTRL_RESPONSE_SHORT |
+					 (SDCARD_CTRL_DATA_TRANSFER_WRITE << 5));
 		sdcore_cmd_send_write(1);
 		cmd_response = sdcard_wait_response();
 	}
@@ -320,13 +324,14 @@ int sdcard_read_single_block(unsigned int blockaddr) {
 #ifdef SDCARD_DEBUG
 	printf("CMD17: READ_SINGLE_BLOCK\n");
 #endif
-int cmd_response = -1;
+	int cmd_response = -1;
 	while (cmd_response != SD_OK) {
 		sdcore_cmd_argument_write(blockaddr);
 		sdcore_block_length_write(512);
 		sdcore_block_count_write(1);
-		sdcore_cmd_command_write((17 << 8) | SDCARD_CTRL_RESPONSE_SHORT |
-							 (SDCARD_CTRL_DATA_TRANSFER_READ << 5));
+		sdcore_cmd_command_write((17 << 8) |
+					 SDCARD_CTRL_RESPONSE_SHORT |
+					 (SDCARD_CTRL_DATA_TRANSFER_READ << 5));
 		sdcore_cmd_send_write(1);
 		cmd_response = sdcard_wait_response();
 	}
@@ -337,13 +342,14 @@ int sdcard_read_multiple_block(unsigned int blockaddr, unsigned int blockcnt) {
 #ifdef SDCARD_DEBUG
 	printf("CMD18: READ_MULTIPLE_BLOCK\n");
 #endif
-int cmd_response = -1;
+	int cmd_response = -1;
 	while (cmd_response != SD_OK) {
 		sdcore_cmd_argument_write(blockaddr);
 		sdcore_block_length_write(512);
 		sdcore_block_count_write(blockcnt);
-		sdcore_cmd_command_write((18 << 8) | SDCARD_CTRL_RESPONSE_SHORT |
-							 (SDCARD_CTRL_DATA_TRANSFER_READ << 5));
+		sdcore_cmd_command_write((18 << 8) |
+					 SDCARD_CTRL_RESPONSE_SHORT |
+					 (SDCARD_CTRL_DATA_TRANSFER_READ << 5));
 		sdcore_cmd_send_write(1);
 		cmd_response = sdcard_wait_response();
 	}
@@ -531,8 +537,7 @@ sdcard_set_block_count(count);
 
 void sdcard_write(uint32_t sector, uint32_t count, uint8_t* buf)
 {
-	uint32_t i;
-	for (i=0; i<count; i++) {
+	while (count--) {
 		/* Initialize DMA Reader */
 		sdwriter_enable_write(0);
 		sdwriter_base_write((uint32_t) buf);