Rev 1880 | Rev 2071 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1880 | Rev 1888 | ||
---|---|---|---|
Line 630... | Line 630... | ||
630 | /* |
630 | /* |
631 | * Bad formatting. |
631 | * Bad formatting. |
632 | */ |
632 | */ |
633 | default: |
633 | default: |
634 | /* Unknown format |
634 | /* Unknown format |
635 | * now, the j is index of '%' so we will |
635 | * now, j is index of '%' so we will |
636 | * print whole bad format sequence |
636 | * print whole bad format sequence |
637 | */ |
637 | */ |
638 | goto next_char; |
638 | goto next_char; |
639 | } |
639 | } |
640 | 640 | ||
Line 716... | Line 716... | ||
716 | interrupts_restore(irqpri); |
716 | interrupts_restore(irqpri); |
717 | 717 | ||
718 | return counter; |
718 | return counter; |
719 | } |
719 | } |
720 | 720 | ||
721 | - | ||
722 | /** @} |
721 | /** @} |
723 | */ |
722 | */ |
724 | - |