kern/xcall: make sure functions are always run from interrupt context

1 files changed, 2 insertions, 1 deletions

diff --git a/kern/xcall.h b/kern/xcall.h
index 27b6af25..df364870 100644
--- a/kern/xcall.h
+++ b/kern/xcall.h
@@ -36,7 +36,8 @@ typedef void (*xcall_fn_t)(void *arg);
  * has finished running on the target processor, with the side effects of
  * the function visible.
  *
- * The function is run in interrupt context.
+ * The function is run in interrupt context. Interrupts must be enabled
+ * when calling this function.
  */
 void xcall_call(xcall_fn_t fn, void *arg, unsigned int cpu);