Careful formatting
    printf("\n");
    printf("%s %s trap:\n", isfatal? "fatal" : "handled",
           user ? "user" : "kernel");
    printf("\n");
    printf("    trap entry = 0x%lx (%s)\n", entry, entryname);
    printf("    a0         = 0x%lx\n", a0);
    printf("    a1         = 0x%lx\n", a1);
    printf("    a2         = 0x%lx\n", a2);
    printf("    pc         = 0x%lx\n", framep->tf_regs[FRAME_PC]);
    printf("    ra         = 0x%lx\n", framep->tf_regs[FRAME_RA]);
    printf("    curproc    = %p\n", curproc);
    if (curproc != NULL)
        printf("        pid = %d, comm = %s\n", curproc->p_pid,
               curproc->p_comm);
    printf("\n");