Changeset 7f043c0 in mainline for kernel/genarch/src/acpi/acpi.c


Ignore:
Timestamp:
2007-05-31T21:39:13Z (18 years ago)
Author:
Martin Decky <martin@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
7bb0c32
Parents:
d8431986
Message:

fix ICC compilation

File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/genarch/src/acpi/acpi.c

    rd8431986 r7f043c0  
    6060       
    6161        for (i = 0; i < 20; i++)
    62                 sum += rsdp[i];
     62                sum = (uint8_t) (sum + rsdp[i]);
    6363               
    6464        if (sum)       
     
    6969               
    7070        for (; i < r->length; i++)
    71                 sum += rsdp[i];
     71                sum = (uint8_t) (sum + rsdp[i]);
    7272               
    7373        return !sum;
     
    8282
    8383        for (i = 0; i < h->length; i++)
    84                 sum += sdt[i];
     84                sum = (uint8_t) (sum + sdt[i]);
    8585               
    8686        return !sum;
     
    106106                                        goto next;
    107107                                *signature_map[j].sdt_ptr = h;
    108                                 printf("%#zx: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
     108                                printf("%#zp: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
    109109                        }
    110110                }
     
    127127                                        goto next;
    128128                                *signature_map[j].sdt_ptr = h;
    129                                 printf("%#zx: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
     129                                printf("%#zp: ACPI %s\n", *signature_map[j].sdt_ptr, signature_map[j].description);
    130130                        }
    131131                }
     
    161161
    162162rsdp_found:
    163         printf("%#zx: ACPI Root System Description Pointer\n", acpi_rsdp);
     163        printf("%#zp: ACPI Root System Description Pointer\n", acpi_rsdp);
    164164
    165165        acpi_rsdt = (struct acpi_rsdt *) (unative_t) acpi_rsdp->rsdt_address;
Note: See TracChangeset for help on using the changeset viewer.