kitten/include/lwk/xcall.h

   1 #ifndef _LWK_XCALL_H
   2 #define _LWK_XCALL_H
   3
   4 #include <lwk/cpumask.h>
   5 #include <lwk/idspace.h>
   6 #include <arch/xcall.h>
   7
   8 int
   9 xcall_function(
  10         cpumask_t       cpu_mask,
  11         void            (*func)(void *info),
  12         void *          info,
  13         bool            wait
  14 );
  15
  16 int
  17 arch_xcall_function(
  18         cpumask_t       cpu_mask,
  19         void            (*func)(void *info),
  20         void *          info,
  21         bool            wait
  22 );
  23
  24 void
  25 xcall_reschedule(
  26         id_t            cpu
  27 );
  28
  29 void
  30 arch_xcall_reschedule(
  31         id_t            cpu
  32 );
  33
  34 #endif