ipccs_state_t 387 kernel/generic/src/sysinfo/stats.c ipccs_state_t *state = (ipccs_state_t *) arg; ipccs_state_t 443 kernel/generic/src/sysinfo/stats.c ipccs_state_t state = {