genpd_syscore_switch 1372 drivers/base/power/domain.c 	genpd_syscore_switch(dev, true);
genpd_syscore_switch 1378 drivers/base/power/domain.c 	genpd_syscore_switch(dev, false);