diff options
Diffstat (limited to 'firmware')
-rw-r--r-- | firmware/id3.c | 2 | ||||
-rw-r--r-- | firmware/kernel.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/firmware/id3.c b/firmware/id3.c index eb0c4b80b8..cd5d978b29 100644 --- a/firmware/id3.c +++ b/firmware/id3.c | |||
@@ -203,7 +203,7 @@ static int read_unsynched(int fd, void *buf, int len) | |||
203 | } | 203 | } |
204 | 204 | ||
205 | return len; | 205 | return len; |
206 | }; | 206 | } |
207 | 207 | ||
208 | static int skip_unsynched(int fd, int len) | 208 | static int skip_unsynched(int fd, int len) |
209 | { | 209 | { |
diff --git a/firmware/kernel.c b/firmware/kernel.c index 84fb438b49..ec2c149cc5 100644 --- a/firmware/kernel.c +++ b/firmware/kernel.c | |||
@@ -35,7 +35,7 @@ static struct event_queue *all_queues[32]; | |||
35 | static int num_queues; | 35 | static int num_queues; |
36 | 36 | ||
37 | void sleep(int ticks) __attribute__ ((section(".icode"))); | 37 | void sleep(int ticks) __attribute__ ((section(".icode"))); |
38 | void queue_wait(struct event_queue *q, struct event *ev) __attribute__ ((section(".icode")));; | 38 | void queue_wait(struct event_queue *q, struct event *ev) __attribute__ ((section(".icode"))); |
39 | 39 | ||
40 | /**************************************************************************** | 40 | /**************************************************************************** |
41 | * Standard kernel stuff | 41 | * Standard kernel stuff |