drex0              76 drivers/devfreq/event/exynos-ppmu.c 	PPMU_EVENT(drex0-s0),
drex0              77 drivers/devfreq/event/exynos-ppmu.c 	PPMU_EVENT(drex0-s1),