diff options
Diffstat (limited to 'firmware/export')
-rw-r--r-- | firmware/export/kernel.h | 10 | ||||
-rw-r--r-- | firmware/export/thread.h | 2 |
2 files changed, 6 insertions, 6 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 |
diff --git a/firmware/export/thread.h b/firmware/export/thread.h index 87c2d2d709..ba777dc3d1 100644 --- a/firmware/export/thread.h +++ b/firmware/export/thread.h | |||
@@ -269,7 +269,7 @@ struct thread_entry | |||
269 | /* Only enabled when using queue_send for now */ | 269 | /* Only enabled when using queue_send for now */ |
270 | #endif | 270 | #endif |
271 | #if defined(HAVE_EXTENDED_MESSAGING_AND_NAME) || NUM_CORES > 1 | 271 | #if defined(HAVE_EXTENDED_MESSAGING_AND_NAME) || NUM_CORES > 1 |
272 | intptr_t retval; /* Return value from a blocked operation/ | 272 | volatile intptr_t retval; /* Return value from a blocked operation/ |
273 | misc. use */ | 273 | misc. use */ |
274 | #endif | 274 | #endif |
275 | #ifdef HAVE_PRIORITY_SCHEDULING | 275 | #ifdef HAVE_PRIORITY_SCHEDULING |