int uiflag_init(void) { ui_flag_idmap = xnmap_create(uITRON_MAX_FLAGID, uITRON_MAX_FLAGID, 1); return ui_flag_idmap ? 0 : -ENOMEM; }
int uimbx_init(void) { ui_mbx_idmap = xnmap_create(uITRON_MAX_MBXID, uITRON_MAX_MBXID, 1); return ui_mbx_idmap ? 0 : -ENOMEM; }
int vrtxmx_init(void) { initq(&vrtx_mx_q); vrtx_mx_idmap = xnmap_create(VRTX_MAX_MUTEXES, 0, 0); return vrtx_mx_idmap ? 0 : -ENOMEM; }
int vrtxsem_init(void) { initq(&vrtx_sem_q); vrtx_sem_idmap = xnmap_create(VRTX_MAX_SEMS, 0, 0); return vrtx_sem_idmap ? 0 : -ENOMEM; }