lib/libsys/sys_update.c

   1 #include "syslib.h"
   2
   3 int sys_update(endpoint_t src_ep, endpoint_t dst_ep)
   4 {
   5   message m;
   6
   7   m.SYS_UPD_SRC_ENDPT = src_ep;
   8   m.SYS_UPD_DST_ENDPT = dst_ep;
   9
  10   return _kernel_call(SYS_UPDATE, &m);
  11 }