liblitesdcard/sdcard: cosmetic: fix indentation, eliminate redundant counter

diff --git a/litex/soc/software/liblitesdcard/sdcard.c b/litex/soc/software/liblitesdcard/sdcard.c
index b3ad3f3227cf7a0e8a62fdc544dde380de12cca6..222e78d117f041c0a02588056a4c0878c3b23c72 100644 (file)
--- 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);