diff options
Diffstat (limited to 'firmware/export/kernel.h')
-rw-r--r-- | firmware/export/kernel.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/firmware/export/kernel.h b/firmware/export/kernel.h index c7fcd93284..4656d87fb2 100644 --- a/firmware/export/kernel.h +++ b/firmware/export/kernel.h | |||
@@ -106,7 +106,7 @@ struct queue_sender_list | |||
106 | struct thread_entry *senders[QUEUE_LENGTH]; /* message->thread map */ | 106 | struct thread_entry *senders[QUEUE_LENGTH]; /* message->thread map */ |
107 | struct thread_entry *list; /* list of senders in map */ | 107 | struct thread_entry *list; /* list of senders in map */ |
108 | /* Send info for last message dequeued or NULL if replied or not sent */ | 108 | /* Send info for last message dequeued or NULL if replied or not sent */ |
109 | struct thread_entry *curr_sender; | 109 | struct thread_entry * volatile curr_sender; |
110 | #ifdef HAVE_PRIORITY_SCHEDULING | 110 | #ifdef HAVE_PRIORITY_SCHEDULING |
111 | struct blocker blocker; | 111 | struct blocker blocker; |
112 | #endif | 112 | #endif |
@@ -126,10 +126,10 @@ struct event_queue | |||
126 | { | 126 | { |
127 | struct thread_entry *queue; /* waiter list */ | 127 | struct thread_entry *queue; /* waiter list */ |
128 | struct queue_event events[QUEUE_LENGTH]; /* list of events */ | 128 | struct queue_event events[QUEUE_LENGTH]; /* list of events */ |
129 | unsigned int read; /* head of queue */ | 129 | unsigned int volatile read; /* head of queue */ |
130 | unsigned int write; /* tail of queue */ | 130 | unsigned int volatile write; /* tail of queue */ |
131 | #ifdef HAVE_EXTENDED_MESSAGING_AND_NAME | 131 | #ifdef HAVE_EXTENDED_MESSAGING_AND_NAME |
132 | struct queue_sender_list *send; /* list of threads waiting for | 132 | struct queue_sender_list * volatile send; /* list of threads waiting for |
133 | reply to an event */ | 133 | reply to an event */ |
134 | #ifdef HAVE_PRIORITY_SCHEDULING | 134 | #ifdef HAVE_PRIORITY_SCHEDULING |
135 | struct blocker *blocker_p; /* priority inheritance info | 135 | struct blocker *blocker_p; /* priority inheritance info |
@@ -171,7 +171,7 @@ struct semaphore | |||
171 | struct wakeup | 171 | struct wakeup |
172 | { | 172 | { |
173 | struct thread_entry *queue; /* waiter list */ | 173 | struct thread_entry *queue; /* waiter list */ |
174 | bool signalled; /* signalled status */ | 174 | bool volatile signalled; /* signalled status */ |
175 | IF_COP( struct corelock cl; ) /* multiprocessor sync */ | 175 | IF_COP( struct corelock cl; ) /* multiprocessor sync */ |
176 | }; | 176 | }; |
177 | #endif | 177 | #endif |