diff options
| -rw-r--r-- | kern/xcall.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/kern/xcall.c b/kern/xcall.c index e7b3ee7d..215c1c78 100644 --- a/kern/xcall.c +++ b/kern/xcall.c @@ -176,7 +176,13 @@ xcall_intr(void) cpu_data = xcall_cpu_data_get(); call = xcall_cpu_data_get_recv_call(cpu_data); - call->fn(call->arg); + + if (call) { + call->fn(call->arg); + } else { + log_warning("xcall: spurious interrupt on cpu%u", cpu_id()); + } + syscnt_inc(&cpu_data->sc_received); xcall_cpu_data_clear_recv_call(cpu_data); |