ipcid_to_idx
idx = idr_alloc(&ids->ipcs_idr, new, ipcid_to_idx(next_id),
int idx = ipcid_to_idx(ipcp->id);
int idx = ipcid_to_idx(id);