domain_num        113 drivers/soc/zte/zx2967_pm_domains.c 		    int domain_num)
domain_num        124 drivers/soc/zte/zx2967_pm_domains.c 	genpd_data->num_domains = domain_num;
domain_num        131 drivers/soc/zte/zx2967_pm_domains.c 	for (i = 0; i < domain_num; ++i) {
domain_num         42 drivers/soc/zte/zx2967_pm_domains.h 		    int domain_num);
domain_num        273 kernel/sched/debug.c 	int domain_num = 0, i;
domain_num        277 kernel/sched/debug.c 		domain_num++;
domain_num        278 kernel/sched/debug.c 	entry = table = sd_alloc_ctl_entry(domain_num + 1);