diff options
-rw-r--r-- | arch/x86/machine/acpi.c | 12 | ||||
-rw-r--r-- | kern/fmt.c | 3 | ||||
-rw-r--r-- | kern/string.c | 3 | ||||
-rw-r--r-- | test/test_llsync_defer.c | 3 | ||||
-rw-r--r-- | vm/vm_kmem.c | 3 |
5 files changed, 16 insertions, 8 deletions
diff --git a/arch/x86/machine/acpi.c b/arch/x86/machine/acpi.c index 4da4d90..36604f2 100644 --- a/arch/x86/machine/acpi.c +++ b/arch/x86/machine/acpi.c @@ -174,10 +174,11 @@ acpi_table_required(const struct acpi_sdth *table) acpi_table_sig(table, sig); - for (i = 0; i < ARRAY_SIZE(acpi_table_addrs); i++) + for (i = 0; i < ARRAY_SIZE(acpi_table_addrs); i++) { if (strcmp(sig, acpi_table_addrs[i].sig) == 0) { return 1; } + } return 0; } @@ -190,7 +191,7 @@ acpi_register_table(struct acpi_sdth *table) acpi_table_sig(table, sig); - for (i = 0; i < ARRAY_SIZE(acpi_table_addrs); i++) + for (i = 0; i < ARRAY_SIZE(acpi_table_addrs); i++) { if (strcmp(sig, acpi_table_addrs[i].sig) == 0) { if (acpi_table_addrs[i].table != NULL) { log_warning("acpi: table %s ignored: already registered", sig); @@ -200,6 +201,7 @@ acpi_register_table(struct acpi_sdth *table) acpi_table_addrs[i].table = table; return; } + } log_warning("acpi: table '%s' ignored: unknown table", sig); } @@ -209,10 +211,11 @@ acpi_lookup_table(const char *sig) { size_t i; - for (i = 0; i < ARRAY_SIZE(acpi_table_addrs); i++) + for (i = 0; i < ARRAY_SIZE(acpi_table_addrs); i++) { if (strcmp(sig, acpi_table_addrs[i].sig) == 0) { return acpi_table_addrs[i].table; } + } return NULL; } @@ -222,11 +225,12 @@ acpi_check_tables(void) { size_t i; - for (i = 0; i < ARRAY_SIZE(acpi_table_addrs); i++) + for (i = 0; i < ARRAY_SIZE(acpi_table_addrs); i++) { if (acpi_table_addrs[i].table == NULL) { log_err("acpi: table %s missing", acpi_table_addrs[i].sig); return -1; } + } return 0; } @@ -676,10 +676,11 @@ fmt_sprintf_state_produce_str(struct fmt_sprintf_state *state) len = 0; - for (len = 0; s[len] != '\0'; len++) + for (len = 0; s[len] != '\0'; len++) { if (len == state->precision) { break; } + } if (!(state->flags & FMT_FORMAT_LEFT_JUSTIFY)) { while (len < state->width) { diff --git a/kern/string.c b/kern/string.c index 6c40478..6c9c8ab 100644 --- a/kern/string.c +++ b/kern/string.c @@ -104,10 +104,11 @@ memcmp(const void *s1, const void *s2, size_t n) a1 = s1; a2 = s2; - for (i = 0; i < n; i++) + for (i = 0; i < n; i++) { if (a1[i] != a2[i]) { return (int)a1[i] - (int)a2[i]; } + } return 0; } diff --git a/test/test_llsync_defer.c b/test/test_llsync_defer.c index 249c53a..4b8afbc 100644 --- a/test/test_llsync_defer.c +++ b/test/test_llsync_defer.c @@ -167,10 +167,11 @@ test_read(void *arg) s = (const unsigned char *)pdsc->addr; if (s != NULL) { - for (j = 0; j < PAGE_SIZE; j++) + for (j = 0; j < PAGE_SIZE; j++) { if (s[j] != TEST_VALIDATION_BYTE) { panic("invalid content"); } + } if ((i % TEST_LOOPS_PER_PRINT) == 0) { printf("read "); diff --git a/vm/vm_kmem.c b/vm/vm_kmem.c index 488ae30..466019a 100644 --- a/vm/vm_kmem.c +++ b/vm/vm_kmem.c @@ -181,9 +181,10 @@ vm_kmem_map_pa(phys_addr_t pa, size_t size, return NULL; } - for (offset = 0; offset < map_size; offset += PAGE_SIZE) + for (offset = 0; offset < map_size; offset += PAGE_SIZE) { pmap_enter(kernel_pmap, map_va + offset, start + offset, VM_PROT_READ | VM_PROT_WRITE, PMAP_PEF_GLOBAL); + } pmap_update(kernel_pmap); |