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);