Changeset f651e80 in mainline for kernel/arch


Ignore:
Timestamp:
2009-01-08T12:07:38Z (17 years ago)
Author:
Jiri Svoboda <jirik.svoboda@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
7447572
Parents:
c571f42
Message:

Make newlines in panic messages consistent. Add periods at end of messages so that it is obvious whether they are printed entirely.

Location:
kernel/arch
Files:
37 edited

Legend:

Unmodified
Added
Removed

  • kernel/arch/amd64/src/interrupt.c

    rc571f42 rf651e80  
    9595                eoi_function();
    9696        else
    97                 panic("no eoi_function\n");
     97                panic("No eoi_function.");
    9898
    9999}
    … …  
    101101static void null_interrupt(int n, istate_t *istate)
    102102{
    103         fault_if_from_uspace(istate, "Unserviced interrupt: %d", n);
     103        fault_if_from_uspace(istate, "Unserviced interrupt: %d.", n);
    104104        decode_istate(n, istate);
    105         panic("Unserviced interrupt\n");
     105        panic("Unserviced interrupt.");
    106106}
    107107
    … …  
    127127                        return;
    128128                }
    129                 fault_if_from_uspace(istate, "General protection fault");
     129                fault_if_from_uspace(istate, "General protection fault.");
    130130        }
    131131
    132132        decode_istate(n, istate);
    133         panic("General protection fault\n");
     133        panic("General protection fault.");
    134134}
    135135
    136136static void ss_fault(int n, istate_t *istate)
    137137{
    138         fault_if_from_uspace(istate, "Stack fault");
     138        fault_if_from_uspace(istate, "Stack fault.");
    139139        decode_istate(n, istate);
    140         panic("Stack fault\n");
     140        panic("Stack fault.");
    141141}
    142142
    … …  
    146146        scheduler_fpu_lazy_request();
    147147#else
    148         fault_if_from_uspace(istate, "FPU fault");
    149         panic("FPU fault");
     148        fault_if_from_uspace(istate, "FPU fault.");
     149        panic("FPU fault.");
    150150#endif
    151151}
    … …  
    222222                enable_irqs_function(irqmask);
    223223        else
    224                 panic("no enable_irqs_function\n");
     224                panic("No enable_irqs_function.");
    225225}
    226226
    … …  
    230230                disable_irqs_function(irqmask);
    231231        else
    232                 panic("no disable_irqs_function\n");
     232                panic("No disable_irqs_function.");
    233233}
    234234

  • kernel/arch/amd64/src/mm/page.c

    rc571f42 rf651e80  
    181181       
    182182        if (istate->error_word & PFERR_CODE_RSVD)
    183                 panic("Reserved bit set in page table entry.\n");
     183                panic("Reserved bit set in page table entry.");
    184184       
    185185        if (istate->error_word & PFERR_CODE_RW)
    … …  
    191191       
    192192        if (as_page_fault(page, access, istate) == AS_PF_FAULT) {
    193                 fault_if_from_uspace(istate, "Page fault: %#x", page);
     193                fault_if_from_uspace(istate, "Page fault: %#x.", page);
    194194
    195195                decode_istate(n, istate);
    196                 printf("Page fault address: %llx\n", page);
    197                 panic("Page fault\n");
     196                printf("Page fault address: %llx.\n", page);
     197                panic("Page fault.");
    198198        }
    199199}
    … …  
    203203{
    204204        if (last_frame + ALIGN_UP(size, PAGE_SIZE) > KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
    205                 panic("Unable to map physical memory %p (%d bytes)", physaddr, size)
     205                panic("Unable to map physical memory %p (%d bytes).", physaddr, size)
    206206       
    207207        uintptr_t virtaddr = PA2KA(last_frame);

  • kernel/arch/amd64/src/pm.c

    rc571f42 rf651e80  
    210210                tss_p = (struct tss *) malloc(sizeof(tss_t), FRAME_ATOMIC);
    211211                if (!tss_p)
    212                         panic("could not allocate TSS\n");
     212                        panic("Cannot allocate TSS.");
    213213        }
    214214

  • kernel/arch/arm32/src/mm/page.c

    rc571f42 rf651e80  
    9191        if (last_frame + ALIGN_UP(size, PAGE_SIZE) >
    9292            KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH)) {
    93                 panic("Unable to map physical memory %p (%d bytes)",
     93                panic("Unable to map physical memory %p (%d bytes).",
    9494                    physaddr, size)
    9595        }

  • kernel/arch/arm32/src/mm/page_fault.c

    rc571f42 rf651e80  
    143143        /* undefined instructions */
    144144        if (instr.condition == 0xf) {
    145                 panic("page_fault - instruction doesn't access memory "
    146                     "(instr_code: %x, badvaddr:%x)", instr, badvaddr);
     145                panic("page_fault - instruction does not access memory "
     146                    "(instr_code: %x, badvaddr:%x).", instr, badvaddr);
    147147                return PF_ACCESS_EXEC;
    148148        }
    … …  
    163163
    164164        panic("page_fault - instruction doesn't access memory "
    165             "(instr_code: %x, badvaddr:%x)", instr, badvaddr);
     165            "(instr_code: %x, badvaddr:%x).", instr, badvaddr);
    166166
    167167        return PF_ACCESS_EXEC;
    … …  
    189189                    access);
    190190
    191                 fault_if_from_uspace(istate, "Page fault: %#x", badvaddr);
    192                 panic("Page fault\n");
     191                fault_if_from_uspace(istate, "Page fault: %#x.", badvaddr);
     192                panic("Page fault.");
    193193        }
    194194}
    … …  
    206206                dprintf("prefetch_abort\n");
    207207                print_istate(istate);
    208                 panic("page fault - prefetch_abort at address: %x\n",
     208                panic("page fault - prefetch_abort at address: %x.",
    209209                    istate->pc);
    210210        }

  • kernel/arch/ia32/src/drivers/vesa.c

    rc571f42 rf651e80  
    8484                break;
    8585        default:
    86                 panic("Unsupported bits per pixel");
     86                panic("Unsupported bits per pixel.");
    8787        }
    8888       

  • kernel/arch/ia32/src/interrupt.c

    rc571f42 rf651e80  
    9090                eoi_function();
    9191        else
    92                 panic("no eoi_function\n");
     92                panic("No eoi_function.");
    9393
    9494}
    … …  
    9696static void null_interrupt(int n, istate_t *istate)
    9797{
    98         fault_if_from_uspace(istate, "Unserviced interrupt: %d", n);
    99 
    100         decode_istate(istate);
    101         panic("Unserviced interrupt: %d\n", n);
     98        fault_if_from_uspace(istate, "Unserviced interrupt: %d.", n);
     99
     100        decode_istate(istate);
     101        panic("Unserviced interrupt: %d.", n);
    102102}
    103103
    … …  
    123123                        return;
    124124                }
    125                 fault_if_from_uspace(istate, "General protection fault");
     125                fault_if_from_uspace(istate, "General protection fault.");
    126126        }
    127127
    128128        decode_istate(istate);
    129         panic("General protection fault\n");
     129        panic("General protection fault.");
    130130}
    131131
    132132static void ss_fault(int n __attribute__((unused)), istate_t *istate)
    133133{
    134         fault_if_from_uspace(istate, "Stack fault");
    135 
    136         decode_istate(istate);
    137         panic("Stack fault\n");
     134        fault_if_from_uspace(istate, "Stack fault.");
     135
     136        decode_istate(istate);
     137        panic("Stack fault.");
    138138}
    139139
    … …  
    145145                : "=m" (mxcsr)
    146146        );
    147         fault_if_from_uspace(istate, "SIMD FP exception(19), MXCSR: %#zx",
     147        fault_if_from_uspace(istate, "SIMD FP exception(19), MXCSR: %#zx.",
    148148            (unative_t) mxcsr);
    149149
    150150        decode_istate(istate);
    151151        printf("MXCSR: %#lx\n", mxcsr);
    152         panic("SIMD FP exception(19)\n");
     152        panic("SIMD FP exception(19).");
    153153}
    154154
    … …  
    158158        scheduler_fpu_lazy_request();
    159159#else
    160         fault_if_from_uspace(istate, "FPU fault");
    161         panic("FPU fault");
     160        fault_if_from_uspace(istate, "FPU fault.");
     161        panic("FPU fault.");
    162162#endif
    163163}
    … …  
    234234                enable_irqs_function(irqmask);
    235235        else
    236                 panic("no enable_irqs_function\n");
     236                panic("No enable_irqs_function.");
    237237}
    238238
    … …  
    242242                disable_irqs_function(irqmask);
    243243        else
    244                 panic("no disable_irqs_function\n");
     244                panic("No disable_irqs_function.");
    245245}
    246246

  • kernel/arch/ia32/src/mm/page.c

    rc571f42 rf651e80  
    8080{
    8181        if (last_frame + ALIGN_UP(size, PAGE_SIZE) > KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
    82                 panic("Unable to map physical memory %p (%d bytes)", physaddr, size)
     82                panic("Unable to map physical memory %p (%d bytes).", physaddr, size)
    8383       
    8484        uintptr_t virtaddr = PA2KA(last_frame);
    … …  
    102102               
    103103        if (istate->error_word & PFERR_CODE_RSVD)
    104                 panic("Reserved bit set in page directory.\n");
     104                panic("Reserved bit set in page directory.");
    105105
    106106        if (istate->error_word & PFERR_CODE_RW)
    … …  
    110110       
    111111        if (as_page_fault(page, access, istate) == AS_PF_FAULT) {
    112                 fault_if_from_uspace(istate, "Page fault: %#x", page);
     112                fault_if_from_uspace(istate, "Page fault: %#x.", page);
    113113               
    114114                decode_istate(istate);
    115115                printf("page fault address: %#lx\n", page);
    116                 panic("page fault\n");
     116                panic("Page fault.");
    117117        }
    118118}

  • kernel/arch/ia32/src/pm.c

    rc571f42 rf651e80  
    199199                tss_p = (tss_t *) malloc(sizeof(tss_t), FRAME_ATOMIC);
    200200                if (!tss_p)
    201                         panic("could not allocate TSS\n");
     201                        panic("Cannot allocate TSS.");
    202202        }
    203203

  • kernel/arch/ia32/src/smp/smp.c

    rc571f42 rf651e80  
    7676            FRAME_ATOMIC | FRAME_KA);
    7777        if (!l_apic_address)
    78                 panic("cannot allocate address for l_apic\n");
     78                panic("Cannot allocate address for l_apic.");
    7979
    8080        io_apic_address = (uintptr_t) frame_alloc(ONE_FRAME,
    8181            FRAME_ATOMIC | FRAME_KA);
    8282        if (!io_apic_address)
    83                 panic("cannot allocate address for io_apic\n");
     83                panic("Cannot allocate address for io_apic.");
    8484
    8585        if (config.cpu_count > 1) {             
    … …  
    158158                    sizeof(struct descriptor), FRAME_ATOMIC | FRAME_LOW_4_GiB);
    159159                if (!gdt_new)
    160                         panic("couldn't allocate memory for GDT\n");
     160                        panic("Cannot allocate memory for GDT.");
    161161
    162162                memcpy(gdt_new, gdt, GDT_ITEMS * sizeof(struct descriptor));

  • kernel/arch/ia32xen/src/interrupt.c

    rc571f42 rf651e80  
    8989                eoi_function();
    9090        else
    91                 panic("no eoi_function\n");
     91                panic("No eoi_function.");
    9292
    9393}
    … …  
    9595static void null_interrupt(int n, istate_t *istate)
    9696{
    97         fault_if_from_uspace(istate, "Unserviced interrupt: %d", n);
    98 
    99         decode_istate(istate);
    100         panic("Unserviced interrupt: %d\n", n);
     97        fault_if_from_uspace(istate, "Unserviced interrupt: %d.", n);
     98
     99        decode_istate(istate);
     100        panic("Unserviced interrupt: %d.", n);
    101101}
    102102
    … …  
    122122                        return;
    123123                }
    124                 fault_if_from_uspace(istate, "General protection fault");
     124                fault_if_from_uspace(istate, "General protection fault.");
    125125        }
    126126
    127127        decode_istate(istate);
    128         panic("General protection fault\n");
     128        panic("General protection fault.");
    129129}
    130130
    131131static void ss_fault(int n, istate_t *istate)
    132132{
    133         fault_if_from_uspace(istate, "Stack fault");
    134 
    135         decode_istate(istate);
    136         panic("Stack fault\n");
     133        fault_if_from_uspace(istate, "Stack fault.");
     134
     135        decode_istate(istate);
     136        panic("Stack fault.");
    137137}
    138138
    … …  
    145145                :"=m"(mxcsr)
    146146        );
    147         fault_if_from_uspace(istate, "SIMD FP exception(19), MXCSR: %#zx",
     147        fault_if_from_uspace(istate, "SIMD FP exception(19), MXCSR: %#zx.",
    148148                             (unative_t)mxcsr);
    149149
    150150        decode_istate(istate);
    151151        printf("MXCSR: %#zx\n",(unative_t)(mxcsr));
    152         panic("SIMD FP exception(19)\n");
     152        panic("SIMD FP exception(19).");
    153153}
    154154
    … …  
    158158        scheduler_fpu_lazy_request();
    159159#else
    160         fault_if_from_uspace(istate, "FPU fault");
    161         panic("FPU fault");
     160        fault_if_from_uspace(istate, "FPU fault.");
     161        panic("FPU fault.");
    162162#endif
    163163}
    … …  
    234234                enable_irqs_function(irqmask);
    235235        else
    236                 panic("no enable_irqs_function\n");
     236                panic("No enable_irqs_function.");
    237237}
    238238
    … …  
    242242                disable_irqs_function(irqmask);
    243243        else
    244                 panic("no disable_irqs_function\n");
     244                panic("No disable_irqs_function.");
    245245}
    246246

  • kernel/arch/ia32xen/src/mm/page.c

    rc571f42 rf651e80  
    6767       
    6868        if (istate->error_word & PFERR_CODE_RSVD)
    69                 panic("Reserved bit set in page directory.\n");
     69                panic("Reserved bit set in page directory.");
    7070       
    7171        if (istate->error_word & PFERR_CODE_RW)
    … …  
    7575       
    7676        if (as_page_fault(page, access, istate) == AS_PF_FAULT) {
    77                 fault_if_from_uspace(istate, "Page fault: %#x", page);
     77                fault_if_from_uspace(istate, "Page fault: %#x.", page);
    7878               
    7979                decode_istate(istate);
    80                 printf("Page fault address: %#x\n", page);
    81                 panic("Page fault\n");
     80                printf("Page fault address: %#x.\n", page);
     81                panic("Page fault.");
    8282        }
    8383}

  • kernel/arch/ia32xen/src/pm.c

    rc571f42 rf651e80  
    169169                tss_p = (tss_t *) malloc(sizeof(tss_t), FRAME_ATOMIC);
    170170                if (!tss_p)
    171                         panic("could not allocate TSS\n");
     171                        panic("Cannot allocate TSS.");
    172172        }
    173173

  • kernel/arch/ia32xen/src/smp/smp.c

    rc571f42 rf651e80  
    7373        l_apic_address = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_ATOMIC | FRAME_KA);
    7474        if (!l_apic_address)
    75                 panic("cannot allocate address for l_apic\n");
     75                panic("Cannot allocate address for l_apic.");
    7676
    7777        io_apic_address = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_ATOMIC | FRAME_KA);
    7878        if (!io_apic_address)
    79                 panic("cannot allocate address for io_apic\n");
     79                panic("Cannot allocate address for io_apic.");
    8080
    8181        if (config.cpu_count > 1) {             
    … …  
    144144                 */
    145145                if (!(gdt_new = (struct descriptor *) malloc(GDT_ITEMS * sizeof(struct descriptor), FRAME_ATOMIC)))
    146                         panic("couldn't allocate memory for GDT\n");
     146                        panic("Cannot allocate memory for GDT.");
    147147
    148148                memcpy(gdt_new, gdt, GDT_ITEMS * sizeof(struct descriptor));

  • kernel/arch/ia64/src/ia64.c

    rc571f42 rf651e80  
    180180        t = thread_create(kkbdpoll, NULL, TASK, 0, "kkbdpoll", true);
    181181        if (!t)
    182                 panic("cannot create kkbdpoll\n");
     182                panic("Cannot create kkbdpoll.");
    183183        thread_ready(t);
    184184#endif         
    … …  
    195195        t = thread_create(i8042_kkbdpoll, NULL, TASK, 0, "kkbdpoll", true);
    196196        if (!t)
    197                 panic("cannot create kkbdpoll\n");
     197                panic("Cannot create kkbdpoll.");
    198198        thread_ready(t);
    199199#endif

  • kernel/arch/ia64/src/interrupt.c

    rc571f42 rf651e80  
    187187        }
    188188
    189         fault_if_from_uspace(istate, "General Exception (%s)", desc);
     189        fault_if_from_uspace(istate, "General Exception (%s).", desc);
    190190
    191191        dump_interrupted_context(istate);
    192         panic("General Exception (%s)\n", desc);
     192        panic("General Exception (%s).", desc);
    193193}
    194194
    … …  
    198198        scheduler_fpu_lazy_request();   
    199199#else
    200         fault_if_from_uspace(istate, "Interruption: %#hx (%s)",
     200        fault_if_from_uspace(istate, "Interruption: %#hx (%s).",
    201201            (uint16_t) vector, vector_to_string(vector));
    202202        dump_interrupted_context(istate);
    203         panic("Interruption: %#hx (%s)\n", (uint16_t) vector,
     203        panic("Interruption: %#hx (%s).", (uint16_t) vector,
    204204            vector_to_string(vector));
    205205#endif
    … …  
    229229void universal_handler(uint64_t vector, istate_t *istate)
    230230{
    231         fault_if_from_uspace(istate, "Interruption: %#hx (%s)",
     231        fault_if_from_uspace(istate, "Interruption: %#hx (%s).",
    232232            (uint16_t) vector, vector_to_string(vector));
    233233        dump_interrupted_context(istate);
    234         panic("Interruption: %#hx (%s)\n", (uint16_t) vector,
     234        panic("Interruption: %#hx (%s).", (uint16_t) vector,
    235235            vector_to_string(vector));
    236236}
    … …  
    270270                        spinlock_unlock(&irq->lock);
    271271                } else {
    272                         panic("\nUnhandled Internal Timer Interrupt (%d)\n",
     272                        panic("Unhandled Internal Timer Interrupt (%d).",
    273273                            ivr.vector);
    274274                }

  • kernel/arch/ia64/src/mm/tlb.c

    rc571f42 rf651e80  
    473473                page_table_unlock(AS, true);
    474474                if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) {
    475                         fault_if_from_uspace(istate,"Page fault at %p",va);
    476                         panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
     475                        fault_if_from_uspace(istate,"Page fault at %p.",va);
     476                        panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
    477477                            istate->cr_iip);
    478478                }
    … …  
    532532                        } else {
    533533                                fault_if_from_uspace(istate,
    534                                     "IO access fault at %p", va);
     534                                    "IO access fault at %p.", va);
    535535                        }
    536536                }
    … …  
    584584                 */
    585585                if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
    586                         fault_if_from_uspace(istate,"Page fault at %p",va);
    587                         panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
     586                        fault_if_from_uspace(istate,"Page fault at %p.",va);
     587                        panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
    588588                            istate->cr_iip);
    589589                }
    … …  
    600600void data_nested_tlb_fault(uint64_t vector, istate_t *istate)
    601601{
    602         panic("%s\n", __func__);
     602        panic("%s.", __func__);
    603603}
    604604
    … …  
    631631        } else {
    632632                if (as_page_fault(va, PF_ACCESS_WRITE, istate) == AS_PF_FAULT) {
    633                         fault_if_from_uspace(istate,"Page fault at %p",va);
    634                         panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
     633                        fault_if_from_uspace(istate,"Page fault at %p.",va);
     634                        panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
    635635                            istate->cr_iip);
    636636                }
    … …  
    667667        } else {
    668668                if (as_page_fault(va, PF_ACCESS_EXEC, istate) == AS_PF_FAULT) {
    669                         fault_if_from_uspace(istate, "Page fault at %p", va);
    670                         panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
     669                        fault_if_from_uspace(istate, "Page fault at %p.", va);
     670                        panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
    671671                            istate->cr_iip);
    672672                }
    … …  
    703703        } else {
    704704                if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
    705                         fault_if_from_uspace(istate, "Page fault at %p", va);
    706                         panic("%s: va=%p, rid=%d, iip=%p\n", __func__, va, rid,
     705                        fault_if_from_uspace(istate, "Page fault at %p.", va);
     706                        panic("%s: va=%p, rid=%d, iip=%p.", __func__, va, rid,
    707707                            istate->cr_iip);
    708708                }
    … …  
    744744                page_table_unlock(AS, true);
    745745                if (as_page_fault(va, PF_ACCESS_READ, istate) == AS_PF_FAULT) {
    746                         fault_if_from_uspace(istate, "Page fault at %p", va);
    747                         panic("%s: va=%p, rid=%d\n", __func__, va, rid);
     746                        fault_if_from_uspace(istate, "Page fault at %p.", va);
     747                        panic("%s: va=%p, rid=%d.", __func__, va, rid);
    748748                }
    749749        }

  • kernel/arch/mips32/src/cache.c

    rc571f42 rf651e80  
    3939void cache_error(istate_t *istate)
    4040{
    41         panic("cache_error exception (epc=%p)\n", istate->epc);
     41        panic("cache_error exception (epc=%p).", istate->epc);
    4242}
    4343

  • kernel/arch/mips32/src/debugger.c

    rc571f42 rf651e80  
    317317        /* test branch delay slot */
    318318        if (cp0_cause_read() & 0x80000000)
    319                 panic("Breakpoint in branch delay slot not supported.\n");
     319                panic("Breakpoint in branch delay slot not supported.");
    320320
    321321        spinlock_lock(&bkpoint_lock);

  • kernel/arch/mips32/src/exception.c

    rc571f42 rf651e80  
    8989static void unhandled_exception(int n, istate_t *istate)
    9090{
    91         fault_if_from_uspace(istate, "Unhandled exception %s", exctable[n]);
     91        fault_if_from_uspace(istate, "Unhandled exception %s.", exctable[n]);
    9292       
    9393        print_regdump(istate);
    94         panic("Unhandled exception %s.\n", exctable[n]);
     94        panic("Unhandled exception %s.", exctable[n]);
    9595}
    9696
    … …  
    133133                scheduler_fpu_lazy_request();
    134134        else {
    135                 fault_if_from_uspace(istate, "Unhandled Coprocessor Unusable Exception");
    136                 panic("Unhandled Coprocessor Unusable Exception.\n");
     135                fault_if_from_uspace(istate, "Unhandled Coprocessor Unusable Exception.");
     136                panic("Unhandled Coprocessor Unusable Exception.");
    137137        }
    138138}
    … …  
    171171static void syscall_exception(int n, istate_t *istate)
    172172{
    173         panic("Syscall is handled through shortcut");
     173        panic("Syscall is handled through shortcut.");
    174174}
    175175

  • kernel/arch/mips32/src/mm/tlb.c

    rc571f42 rf651e80  
    116116                        return;
    117117                default:
    118                         panic("unexpected pfrc (%d)\n", pfrc);
     118                        panic("Unexpected pfrc (%d).", pfrc);
    119119                }
    120120        }
    … …  
    200200                        return;
    201201                default:
    202                         panic("unexpected pfrc (%d)\n", pfrc);
     202                        panic("Unexpected pfrc (%d).", pfrc);
    203203                }
    204204        }
    … …  
    283283                        return;
    284284                default:
    285                         panic("unexpected pfrc (%d)\n", pfrc);
     285                        panic("Unexpected pfrc (%d).", pfrc);
    286286                }
    287287        }
    … …  
    331331                sym2 = s;
    332332
    333         fault_if_from_uspace(istate, "TLB Refill Exception on %p",
     333        fault_if_from_uspace(istate, "TLB Refill Exception on %p.",
    334334            cp0_badvaddr_read());
    335         panic("%x: TLB Refill Exception at %x(%s<-%s).\n", cp0_badvaddr_read(),
     335        panic("%x: TLB Refill Exception at %x(%s<-%s).", cp0_badvaddr_read(),
    336336            istate->epc, symbol, sym2);
    337337}
    … …  
    345345        if (s)
    346346                symbol = s;
    347         fault_if_from_uspace(istate, "TLB Invalid Exception on %p",
     347        fault_if_from_uspace(istate, "TLB Invalid Exception on %p.",
    348348            cp0_badvaddr_read());
    349         panic("%x: TLB Invalid Exception at %x(%s).\n", cp0_badvaddr_read(),
     349        panic("%x: TLB Invalid Exception at %x(%s).", cp0_badvaddr_read(),
    350350            istate->epc, symbol);
    351351}
    … …  
    358358        if (s)
    359359                symbol = s;
    360         fault_if_from_uspace(istate, "TLB Modified Exception on %p",
     360        fault_if_from_uspace(istate, "TLB Modified Exception on %p.",
    361361            cp0_badvaddr_read());
    362         panic("%x: TLB Modified Exception at %x(%s).\n", cp0_badvaddr_read(),
     362        panic("%x: TLB Modified Exception at %x(%s).", cp0_badvaddr_read(),
    363363            istate->epc, symbol);
    364364}
    … …  
    434434                        break;
    435435                default:
    436                         panic("unexpected rc (%d)\n", rc);
     436                        panic("Unexpected rc (%d).", rc);
    437437                }
    438438               

  • kernel/arch/ppc32/src/mm/page.c

    rc571f42 rf651e80  
    5050        if (last_frame + ALIGN_UP(size, PAGE_SIZE) >
    5151            KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
    52                 panic("Unable to map physical memory %p (%" PRIs " bytes)",
     52                panic("Unable to map physical memory %p (%" PRIs " bytes).",
    5353                    physaddr, size)
    5454       

  • kernel/arch/ppc32/src/mm/tlb.c

    rc571f42 rf651e80  
    101101                        return NULL;
    102102                default:
    103                         panic("unexpected rc (%d)\n", rc);
     103                        panic("Unexpected rc (%d).", rc);
    104104                }       
    105105        }
    … …  
    120120
    121121        fault_if_from_uspace(istate,
    122             "%p: PHT Refill Exception at %p (%s<-%s)", badvaddr,
     122            "%p: PHT Refill Exception at %p (%s<-%s).", badvaddr,
    123123            istate->pc, symbol, sym2);
    124         panic("%p: PHT Refill Exception at %p (%s<-%s)\n", badvaddr,
     124        panic("%p: PHT Refill Exception at %p (%s<-%s).", badvaddr,
    125125            istate->pc, symbol, sym2);
    126126}
    … …  
    315315                        return;
    316316                default:
    317                         panic("Unexpected pfrc (%d)\n", pfrc);
     317                        panic("Unexpected pfrc (%d).", pfrc);
    318318                }
    319319        }

  • kernel/arch/ppc32/src/ppc32.c

    rc571f42 rf651e80  
    9393                        break;
    9494                default:
    95                         panic("Unsupported bits per pixel");
     95                        panic("Unsupported bits per pixel.");
    9696                }
    9797                fb_properties_t prop = {

  • kernel/arch/ppc64/include/exception.h

    rc571f42 rf651e80  
    8888static inline int istate_from_uspace(istate_t *istate)
    8989{
    90         panic("istate_from_uspace not yet implemented");
     90        panic("istate_from_uspace not yet implemented.");
    9191        return 0;
    9292}

  • kernel/arch/ppc64/src/mm/page.c

    rc571f42 rf651e80  
    107107                                return NULL;
    108108                        default:
    109                                 panic("unexpected rc (%d)\n", rc);
     109                                panic("Unexpected rc (%d).", rc);
    110110                }       
    111111        }
    … …  
    124124        if (s)
    125125                sym2 = s;
    126         panic("%p: PHT Refill Exception at %p (%s<-%s)\n", badvaddr, istate->pc, symbol, sym2);
     126        panic("%p: PHT Refill Exception at %p (%s<-%s).", badvaddr, istate->pc, symbol, sym2);
    127127}
    128128
    … …  
    234234                                return;
    235235                        default:
    236                                 panic("Unexpected pfrc (%d)\n", pfrc);
     236                                panic("Unexpected pfrc (%d).", pfrc);
    237237                }
    238238        }
    … …  
    289289{
    290290        if (last_frame + ALIGN_UP(size, PAGE_SIZE) > KA2PA(KERNEL_ADDRESS_SPACE_END_ARCH))
    291                 panic("Unable to map physical memory %p (%" PRIs " bytes)", physaddr, size)
     291                panic("Unable to map physical memory %p (%" PRIs " bytes).", physaddr, size)
    292292       
    293293        uintptr_t virtaddr = PA2KA(last_frame);

  • kernel/arch/ppc64/src/ppc64.c

    rc571f42 rf651e80  
    8686                        break;
    8787                default:
    88                         panic("Unsupported bits per pixel");
     88                        panic("Unsupported bits per pixel.");
    8989                }
    9090                fb_init(bootinfo.screen.addr, bootinfo.screen.width, bootinfo.screen.height, bootinfo.screen.scanline, visual);

  • kernel/arch/sparc64/src/console.c

    rc571f42 rf651e80  
    7878        prop = ofw_tree_getprop(aliases, "screen");
    7979        if (!prop)
    80                 panic("Can't find property \"screen\".\n");
     80                panic("Cannot find property 'screen'.");
    8181        if (!prop->value)
    82                 panic("Can't find screen alias.\n");
     82                panic("Cannot find screen alias.");
    8383        screen = ofw_tree_lookup(prop->value);
    8484        if (!screen)
    85                 panic("Can't find %s\n", prop->value);
     85                panic("Cannot find %s.", prop->value);
    8686
    8787        scr_init(screen);
    … …  
    8989        prop = ofw_tree_getprop(aliases, "keyboard");
    9090        if (!prop)
    91                 panic("Can't find property \"keyboard\".\n");
     91                panic("Cannot find property 'keyboard'.");
    9292        if (!prop->value)
    93                 panic("Can't find keyboard alias.\n");
     93                panic("Cannot find keyboard alias.");
    9494        keyboard = ofw_tree_lookup(prop->value);
    9595        if (!keyboard)
    96                 panic("Can't find %s\n", prop->value);
     96                panic("Cannot find %s.", prop->value);
    9797
    9898        kbd_init(keyboard);
    … …  
    116116        aliases = ofw_tree_lookup("/aliases");
    117117        if (!aliases)
    118                 panic("Can't find /aliases.\n");
     118                panic("Cannot find '/aliases'.");
    119119       
    120120        /* "def-cn" = "default console" */

  • kernel/arch/sparc64/src/drivers/fhc.c

    rc571f42 rf651e80  
    9797                break;
    9898        default:
    99                 panic("Unexpected INR (%d)\n", inr);
     99                panic("Unexpected INR (%d).", inr);
    100100                break;
    101101        }
    … …  
    112112                break;
    113113        default:
    114                 panic("Unexpected INR (%d)\n", inr);
     114                panic("Unexpected INR (%d).", inr);
    115115                break;
    116116        }

  • kernel/arch/sparc64/src/drivers/kbd.c

    rc571f42 rf651e80  
    8888        prop = ofw_tree_getprop(node, "interrupts");
    8989        if ((!prop) || (!prop->value))
    90                 panic("Can't find \"interrupts\" property.\n");
     90                panic("Cannot find 'interrupt' property.");
    9191        interrupts = *((uint32_t *) prop->value);
    9292       
    … …  
    9696        prop = ofw_tree_getprop(node, "reg");
    9797        if ((!prop) || (!prop->value))
    98                 panic("Can't find \"reg\" property.\n");
     98                panic("Cannot find 'reg' property.");
    9999       
    100100        uintptr_t pa;
    … …  
    134134               
    135135        default:
    136                 panic("Unexpected keyboard type.\n");
     136                panic("Unexpected keyboard type.");
    137137        }
    138138       

  • kernel/arch/sparc64/src/drivers/scr.c

    rc571f42 rf651e80  
    105105        prop = ofw_tree_getprop(node, "reg");
    106106        if (!prop)
    107                 panic("Can't find \"reg\" property.\n");
     107                panic("Cannot find 'reg' property.");
    108108
    109109        switch (scr_type) {
    … …  
    224224                break;
    225225        default:
    226                 panic("Unexpected type.\n");
     226                panic("Unexpected type.");
    227227        }
    228228

  • kernel/arch/sparc64/src/drivers/sgcn.c

    rc571f42 rf651e80  
    200200        chosen = ofw_tree_lookup("/chosen");
    201201        if (!chosen)
    202                 panic("Can't find /chosen.\n");
     202                panic("Cannot find '/chosen'.");
    203203
    204204        iosram_toc = ofw_tree_getprop(chosen, "iosram-toc");
    205205        if (!iosram_toc)
    206                 panic("Can't find property \"iosram-toc\".\n");
     206                panic("Cannot find property 'iosram-toc'.");
    207207        if (!iosram_toc->value)
    208                 panic("Can't find SRAM TOC.\n");
     208                panic("Cannot find SRAM TOC.");
    209209
    210210        sram_begin_physical = SBBC_START + SBBC_SRAM_OFFSET
    … …  
    329329static void sgcn_irq_handler(irq_t *irq, void *arg, ...)
    330330{
    331         panic("Not yet implemented, SGCN works in polled mode.\n");
     331        panic("Not yet implemented, SGCN works in polled mode.");
    332332}
    333333

  • kernel/arch/sparc64/src/mm/tlb.c

    rc571f42 rf651e80  
    425425    const char *str)
    426426{
    427         fault_if_from_uspace(istate, "%s", str);
     427        fault_if_from_uspace(istate, "%s.", str);
    428428        dump_istate(istate);
    429         panic("%s\n", str);
     429        panic("%s.", str);
    430430}
    431431
    … …  
    437437        va = tag.vpn << MMU_PAGE_WIDTH;
    438438        if (tag.context) {
    439                 fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)", str, va,
     439                fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d).", str, va,
    440440                    tag.context);
    441441        }
    442442        dump_istate(istate);
    443         printf("Faulting page: %p, ASID=%d\n", va, tag.context);
    444         panic("%s\n", str);
     443        printf("Faulting page: %p, ASID=%d.\n", va, tag.context);
     444        panic("%s.", str);
    445445}
    446446
    … …  
    453453
    454454        if (tag.context) {
    455                 fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d)", str, va,
     455                fault_if_from_uspace(istate, "%s, Page=%p (ASID=%d).", str, va,
    456456                    tag.context);
    457457        }
    458458        printf("Faulting page: %p, ASID=%d\n", va, tag.context);
    459459        dump_istate(istate);
    460         panic("%s\n", str);
     460        panic("%s.", str);
    461461}
    462462

  • kernel/arch/sparc64/src/smp/ipi.c

    rc571f42 rf651e80  
    9999        status = asi_u64_read(ASI_INTR_DISPATCH_STATUS, 0);
    100100        if (status & INTR_DISPATCH_STATUS_BUSY)
    101                 panic("Interrupt Dispatch Status busy bit set\n");
     101                panic("Interrupt Dispatch Status busy bit set.");
    102102       
    103103        ASSERT(!(pstate_read() & PSTATE_IE_BIT));
    … …  
    152152                break;
    153153        default:
    154                 panic("Unknown IPI (%d).\n", ipi);
     154                panic("Unknown IPI (%d).", ipi);
    155155                break;
    156156        }

  • kernel/arch/sparc64/src/sparc64.c

    rc571f42 rf651e80  
    111111                t = thread_create(kkbdpoll, NULL, TASK, 0, "kkbdpoll", true);
    112112                if (!t)
    113                         panic("cannot create kkbdpoll\n");
     113                        panic("Cannot create kkbdpoll.");
    114114                thread_ready(t);
    115115        }

  • kernel/arch/sparc64/src/trap/exception.c

    rc571f42 rf651e80  
    5454void instruction_access_exception(int n, istate_t *istate)
    5555{
    56         fault_if_from_uspace(istate, "%s", __func__);
    57         dump_istate(istate);
    58         panic("%s\n", __func__);
     56        fault_if_from_uspace(istate, "%s.", __func__);
     57        dump_istate(istate);
     58        panic("%s.", __func__);
    5959}
    6060
    … …  
    6262void instruction_access_error(int n, istate_t *istate)
    6363{
    64         fault_if_from_uspace(istate, "%s", __func__);
    65         dump_istate(istate);
    66         panic("%s\n", __func__);
     64        fault_if_from_uspace(istate, "%s.", __func__);
     65        dump_istate(istate);
     66        panic("%s.", __func__);
    6767}
    6868
    … …  
    7070void illegal_instruction(int n, istate_t *istate)
    7171{
    72         fault_if_from_uspace(istate, "%s", __func__);
    73         dump_istate(istate);
    74         panic("%s\n", __func__);
     72        fault_if_from_uspace(istate, "%s.", __func__);
     73        dump_istate(istate);
     74        panic("%s.", __func__);
    7575}
    7676
    … …  
    7878void privileged_opcode(int n, istate_t *istate)
    7979{
    80         fault_if_from_uspace(istate, "%s", __func__);
    81         dump_istate(istate);
    82         panic("%s\n", __func__);
     80        fault_if_from_uspace(istate, "%s.", __func__);
     81        dump_istate(istate);
     82        panic("%s.", __func__);
    8383}
    8484
    … …  
    8686void unimplemented_LDD(int n, istate_t *istate)
    8787{
    88         fault_if_from_uspace(istate, "%s", __func__);
    89         dump_istate(istate);
    90         panic("%s\n", __func__);
     88        fault_if_from_uspace(istate, "%s.", __func__);
     89        dump_istate(istate);
     90        panic("%s.", __func__);
    9191}
    9292
    … …  
    9494void unimplemented_STD(int n, istate_t *istate)
    9595{
    96         fault_if_from_uspace(istate, "%s", __func__);
    97         dump_istate(istate);
    98         panic("%s\n", __func__);
     96        fault_if_from_uspace(istate, "%s.", __func__);
     97        dump_istate(istate);
     98        panic("%s.", __func__);
    9999}
    100100
    … …  
    114114        scheduler_fpu_lazy_request();
    115115#else
    116         fault_if_from_uspace(istate, "%s", __func__);
    117         dump_istate(istate);
    118         panic("%s\n", __func__);
     116        fault_if_from_uspace(istate, "%s.", __func__);
     117        dump_istate(istate);
     118        panic("%s.", __func__);
    119119#endif
    120120}
    … …  
    123123void fp_exception_ieee_754(int n, istate_t *istate)
    124124{
    125         fault_if_from_uspace(istate, "%s", __func__);
    126         dump_istate(istate);
    127         panic("%s\n", __func__);
     125        fault_if_from_uspace(istate, "%s.", __func__);
     126        dump_istate(istate);
     127        panic("%s.", __func__);
    128128}
    129129
    … …  
    131131void fp_exception_other(int n, istate_t *istate)
    132132{
    133         fault_if_from_uspace(istate, "%s", __func__);
    134         dump_istate(istate);
    135         panic("%s\n", __func__);
     133        fault_if_from_uspace(istate, "%s.", __func__);
     134        dump_istate(istate);
     135        panic("%s.", __func__);
    136136}
    137137
    … …  
    139139void tag_overflow(int n, istate_t *istate)
    140140{
    141         fault_if_from_uspace(istate, "%s", __func__);
    142         dump_istate(istate);
    143         panic("%s\n", __func__);
     141        fault_if_from_uspace(istate, "%s.", __func__);
     142        dump_istate(istate);
     143        panic("%s.", __func__);
    144144}
    145145
    … …  
    147147void division_by_zero(int n, istate_t *istate)
    148148{
    149         fault_if_from_uspace(istate, "%s", __func__);
    150         dump_istate(istate);
    151         panic("%s\n", __func__);
     149        fault_if_from_uspace(istate, "%s.", __func__);
     150        dump_istate(istate);
     151        panic("%s.", __func__);
    152152}
    153153
    … …  
    155155void data_access_exception(int n, istate_t *istate)
    156156{
    157         fault_if_from_uspace(istate, "%s", __func__);
     157        fault_if_from_uspace(istate, "%s.", __func__);
    158158        dump_istate(istate);
    159159        dump_sfsr_and_sfar();
    160         panic("%s\n", __func__);
     160        panic("%s.", __func__);
    161161}
    162162
    … …  
    164164void data_access_error(int n, istate_t *istate)
    165165{
    166         fault_if_from_uspace(istate, "%s", __func__);
    167         dump_istate(istate);
    168         panic("%s\n", __func__);
     166        fault_if_from_uspace(istate, "%s.", __func__);
     167        dump_istate(istate);
     168        panic("%s.", __func__);
    169169}
    170170
    … …  
    172172void mem_address_not_aligned(int n, istate_t *istate)
    173173{
    174         fault_if_from_uspace(istate, "%s", __func__);
    175         dump_istate(istate);
    176         panic("%s\n", __func__);
     174        fault_if_from_uspace(istate, "%s.", __func__);
     175        dump_istate(istate);
     176        panic("%s.", __func__);
    177177}
    178178
    … …  
    180180void LDDF_mem_address_not_aligned(int n, istate_t *istate)
    181181{
    182         fault_if_from_uspace(istate, "%s", __func__);
    183         dump_istate(istate);
    184         panic("%s\n", __func__);
     182        fault_if_from_uspace(istate, "%s.", __func__);
     183        dump_istate(istate);
     184        panic("%s.", __func__);
    185185}
    186186
    … …  
    188188void STDF_mem_address_not_aligned(int n, istate_t *istate)
    189189{
    190         fault_if_from_uspace(istate, "%s", __func__);
    191         dump_istate(istate);
    192         panic("%s\n", __func__);
     190        fault_if_from_uspace(istate, "%s.", __func__);
     191        dump_istate(istate);
     192        panic("%s.", __func__);
    193193}
    194194
    … …  
    196196void privileged_action(int n, istate_t *istate)
    197197{
    198         fault_if_from_uspace(istate, "%s", __func__);
    199         dump_istate(istate);
    200         panic("%s\n", __func__);
     198        fault_if_from_uspace(istate, "%s.", __func__);
     199        dump_istate(istate);
     200        panic("%s.", __func__);
    201201}
    202202
    … …  
    204204void LDQF_mem_address_not_aligned(int n, istate_t *istate)
    205205{
    206         fault_if_from_uspace(istate, "%s", __func__);
    207         dump_istate(istate);
    208         panic("%s\n", __func__);
     206        fault_if_from_uspace(istate, "%s.", __func__);
     207        dump_istate(istate);
     208        panic("%s.", __func__);
    209209}
    210210
    … …  
    212212void STQF_mem_address_not_aligned(int n, istate_t *istate)
    213213{
    214         fault_if_from_uspace(istate, "%s", __func__);
    215         dump_istate(istate);
    216         panic("%s\n", __func__);
     214        fault_if_from_uspace(istate, "%s.", __func__);
     215        dump_istate(istate);
     216        panic("%s.", __func__);
    217217}
    218218

  • kernel/arch/sparc64/src/trap/interrupt.c

    rc571f42 rf651e80  
    7373        status = asi_u64_read(ASI_INTR_DISPATCH_STATUS, 0);
    7474        if (status & (!INTR_DISPATCH_STATUS_BUSY))
    75                 panic("Interrupt Dispatch Status busy bit not set\n");
     75                panic("Interrupt Dispatch Status busy bit not set.");
    7676
    7777        intrcv = asi_u64_read(ASI_INTR_RECEIVE, 0);
Note: See TracChangeset for help on using the changeset viewer.