#include "syslib.h" #include int sys_setgrant(cp_grant_t *grants, int ngrants) { message m; m.SG_ADDR = (char *) grants; m.SG_SIZE = ngrants; return _taskcall(SYSTASK, SYS_SETGRANT, &m); }