diff options
Diffstat (limited to 'nuttx/arch/mips')
-rw-r--r-- | nuttx/arch/mips/src/common/up_lowputs.c | 2 | ||||
-rw-r--r-- | nuttx/arch/mips/src/common/up_puts.c | 2 | ||||
-rw-r--r-- | nuttx/arch/mips/src/pic32mx/pic32mx-lowinit.c | 3 |
3 files changed, 4 insertions, 3 deletions
diff --git a/nuttx/arch/mips/src/common/up_lowputs.c b/nuttx/arch/mips/src/common/up_lowputs.c index 314e239b1..396edeb1b 100644 --- a/nuttx/arch/mips/src/common/up_lowputs.c +++ b/nuttx/arch/mips/src/common/up_lowputs.c @@ -67,7 +67,7 @@ void up_lowputs(const char *str) { - while(*str) + while (*str) { up_lowputc(*str++); } diff --git a/nuttx/arch/mips/src/common/up_puts.c b/nuttx/arch/mips/src/common/up_puts.c index 2394343f9..1b9f31f84 100644 --- a/nuttx/arch/mips/src/common/up_puts.c +++ b/nuttx/arch/mips/src/common/up_puts.c @@ -68,7 +68,7 @@ void up_puts(const char *str) { - while(*str) + while (*str) { up_putc(*str++); } diff --git a/nuttx/arch/mips/src/pic32mx/pic32mx-lowinit.c b/nuttx/arch/mips/src/pic32mx/pic32mx-lowinit.c index d6bc6a812..0eb34d0c9 100644 --- a/nuttx/arch/mips/src/pic32mx/pic32mx-lowinit.c +++ b/nuttx/arch/mips/src/pic32mx/pic32mx-lowinit.c @@ -125,11 +125,12 @@ static inline void pic32mx_waitstates(void) residual = BOARD_CPU_CLOCK; nwaits = 0; - while(residual > MAX_FLASH_HZ) + while (residual > MAX_FLASH_HZ) { nwaits++; residual -= MAX_FLASH_HZ; } + DEBUGASSERT(nwaits < 8); /* Set the FLASH wait states -- clearing all other bits! */ |