Changeset 31 for trunk/hal/x86_64


Ignore:
Timestamp:
Jun 21, 2017, 8:53:24 AM (7 years ago)
Author:
max@…
Message:

Silence a few gcc warnings.

Location:
trunk/hal/x86_64
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • trunk/hal/x86_64/hal_init.c

    r29 r31  
    168168        idt = (struct idt_seg *)&idtstore;
    169169        for (i = 0; i < NCPUIDT; i++) {
    170                 idt_set_seg(&idt[i], x86_traps[i], 0, SDT_SYS386IGT,
     170                idt_set_seg(&idt[i], (void *)x86_traps[i], 0, SDT_SYS386IGT,
    171171                    SEL_KPL, GDT_FIXED_SEL(GDT_KCODE_SEL, SEL_KPL));
    172172        }
  • trunk/hal/x86_64/hal_segmentation.h

    r29 r31  
    148148void lgdt(struct region_descriptor *);
    149149void lidt(struct region_descriptor *);
    150 void ltr(u_short);
     150void ltr(uint16_t);
    151151
    152152#endif /* !x86_ASM */
  • trunk/hal/x86_64/hal_trap.c

    r29 r31  
    4747int     trap_types = __arraycount(trap_type);
    4848
    49 void x86_printf(char *msg); // XXX
     49void x86_printf(char *s, ...);
    5050
    5151/*
     
    5656{
    5757        uint64_t trapno = tf->tf_trapno;
    58         char *buf;
     58        const char *buf;
    5959
    6060        if (trapno < trap_types) {
     
    6666        x86_printf("\n");
    6767        x86_printf("****** FAULT OCCURRED ******\n");
    68         x86_printf(buf);
     68        x86_printf((char *)buf);
    6969        x86_printf("\n");
    7070        x86_printf("****** FAULT OCCURRED ******\n");
  • trunk/hal/x86_64/x86_printf.c

    r29 r31  
    4242static void x86_putc(char c)
    4343{
    44         size_t i;
    45 
    4644        if (c == '\n') {
    4745                cons_ptr = roundup(cons_ptr, CONS_X_SIZE);
Note: See TracChangeset for help on using the changeset viewer.