Rev 1880 | Rev 2070 | 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 | - | ||