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 } 12
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 } 12