produce_stats_ipcc_cb 457 kernel/generic/src/sysinfo/stats.c produce_stats_ipcc_cb, &state); produce_stats_ipcc_cb 477 kernel/generic/src/sysinfo/stats.c produce_stats_ipcc_cb, &state);