diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-03-19 13:32:54 +0100 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-03-19 13:32:54 +0100 |
| commit | 5fd6d6e12599ae5d17f3f7d4f4c3012bb56f8fab (patch) | |
| tree | 3b2a36566edd4afc7c1dbe3a1707f886277b6dc1 /kern/xcall.c | |
| parent | 7d670538290125c1d100bbcf43700343f9c11332 (diff) | |
kern/thread: new thread_assert_interrupted function
Diffstat (limited to 'kern/xcall.c')
| -rw-r--r-- | kern/xcall.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/kern/xcall.c b/kern/xcall.c index c36f3c48..b3b01e2b 100644 --- a/kern/xcall.c +++ b/kern/xcall.c @@ -160,8 +160,7 @@ xcall_intr(void) struct xcall_cpu_data *cpu_data; struct xcall *call; - assert(!cpu_intr_enabled()); - assert(!thread_preempt_enabled()); + thread_assert_interrupted(); cpu_data = xcall_cpu_data_get(); call = xcall_cpu_data_get_recv_call(cpu_data); |