IPC_BUFFER_COUNT 880 uspace/lib/c/generic/thread/fibril.c static _ipc_buffer_t buffers[IPC_BUFFER_COUNT]; IPC_BUFFER_COUNT 882 uspace/lib/c/generic/thread/fibril.c for (int i = 0; i < IPC_BUFFER_COUNT; i++) {