drex1              78 drivers/devfreq/event/exynos-ppmu.c 	PPMU_EVENT(drex1-s0),
drex1              79 drivers/devfreq/event/exynos-ppmu.c 	PPMU_EVENT(drex1-s1),