Merge branch 'devel'

[palacios.git] / kitten / include / lwk / xcall.h

diff --git a/kitten/include/lwk/xcall.h b/kitten/include/lwk/xcall.h
new file mode 100644 (file)
index 0000000..ce8ea7c
--- /dev/null
+++ b/kitten/include/lwk/xcall.h
@@ -0,0 +1,34 @@
+#ifndef _LWK_XCALL_H
+#define _LWK_XCALL_H
+
+#include <lwk/cpumask.h>
+#include <lwk/idspace.h>
+#include <arch/xcall.h>
+
+int
+xcall_function(
+       cpumask_t       cpu_mask,
+       void            (*func)(void *info),
+       void *          info,
+       bool            wait
+);
+
+int
+arch_xcall_function(
+       cpumask_t       cpu_mask,
+       void            (*func)(void *info),
+       void *          info,
+       bool            wait
+);
+
+void
+xcall_reschedule(
+       id_t            cpu
+);
+
+void
+arch_xcall_reschedule(
+       id_t            cpu
+);
+
+#endif