Tom
b9a97ff81f
Kernel: Add mechanism to queue deferred function calls
...
Function calls that are deferred will be executed before a thread
enters a pre-emptable state (meaning it is not in a critical section
and it is not in an irq handler). If it is not already in such a
state, it will be called immediately.
This is meant to be used from e.g. IRQ handlers where we might want
to block a thread until an interrupt happens.
2020-11-04 21:21:37 +01:00
..
2020-09-25 21:18:17 +02:00
2020-10-20 18:08:13 +02:00
2020-11-04 21:21:37 +01:00
2020-10-03 12:36:49 +02:00
2020-11-01 19:21:19 +01:00
2020-11-01 18:47:01 +01:00
2020-11-01 10:30:20 +01:00
2020-08-12 20:40:59 +02:00
2020-10-31 13:56:21 +01:00
2020-11-01 10:19:17 +01:00
2020-10-26 08:57:25 +01:00
2020-09-27 19:46:04 +02:00
2020-10-29 22:26:08 +01:00
2020-10-03 12:36:49 +02:00
2020-11-01 18:48:36 +01:00
2020-07-01 12:07:01 +02:00
2020-10-25 21:18:35 +01:00
2020-05-16 12:00:04 +02:00
2020-09-25 21:18:17 +02:00
2020-08-25 09:48:48 +02:00
2020-09-25 21:18:17 +02:00
2020-09-13 21:19:15 +02:00
2020-09-13 21:19:15 +02:00
2020-09-13 21:19:15 +02:00
2020-09-13 21:19:15 +02:00
2020-10-25 21:18:35 +01:00
2020-05-16 12:00:04 +02:00
2020-08-11 20:29:14 +02:00
2020-11-02 12:56:36 +01:00
2020-11-02 12:56:36 +01:00
2020-08-22 20:55:10 +02:00
2020-09-25 21:18:17 +02:00
2020-08-22 20:55:10 +02:00
2020-09-13 21:19:15 +02:00
2020-04-08 17:19:46 +02:00
2020-08-10 20:05:18 +02:00
2020-09-25 21:18:17 +02:00
2020-04-30 11:43:25 +02:00
2020-05-14 20:15:18 +02:00
2020-08-17 09:57:18 +02:00
2020-08-10 11:51:45 +02:00
2020-09-25 21:18:17 +02:00
2020-10-26 08:57:25 +01:00
2020-09-27 19:46:04 +02:00
2020-08-19 21:21:34 +02:00
2020-08-19 21:21:34 +02:00
2020-08-16 16:33:28 +02:00
2020-08-10 11:51:45 +02:00
2020-09-13 21:19:15 +02:00
2020-09-25 21:18:17 +02:00
2020-08-25 09:48:48 +02:00
2020-08-25 09:48:48 +02:00
2020-08-26 08:52:07 +02:00
2020-10-26 08:57:25 +01:00
2020-09-27 19:46:04 +02:00
2020-08-30 09:43:49 +02:00
2020-08-10 11:51:45 +02:00
2020-08-19 11:10:53 +02:00
2020-09-13 21:19:15 +02:00
2020-10-02 15:38:07 +02:00
2020-09-25 21:18:17 +02:00
2020-10-26 08:57:25 +01:00
2020-10-26 08:57:25 +01:00
2020-08-10 11:51:45 +02:00
2020-08-10 11:51:45 +02:00
2020-08-25 09:48:48 +02:00
2020-08-25 09:48:48 +02:00
2020-09-27 01:02:11 +02:00
2020-09-22 15:06:40 +02:00
2020-09-15 20:36:45 +02:00
2020-09-25 21:18:17 +02:00
2020-09-25 21:18:17 +02:00
2020-10-08 09:54:41 +02:00