// SPDX-License-Identifier: GPL-2.0
/*
 * Device tree sources for Exynos4412 PPMU common device tree
 *
 * Copyright (C) 2015 Samsung Electronics
 * Author: Chanwoo Choi <cw00.choi@samsung.com>
 */

&ppmu_dmc0 {
 status = "okay";

 events {
  ppmu_dmc0_3: ppmu-event3-dmc0 {
   event-name = "ppmu-event3-dmc0";
  };
 };
};

&ppmu_dmc1 {
 status = "okay";

 events {
  ppmu_dmc1_3: ppmu-event3-dmc1 {
   event-name = "ppmu-event3-dmc1";
  };
 };
};

&ppmu_leftbus {
 status = "okay";

 events {
  ppmu_leftbus_3: ppmu-event3-leftbus {
   event-name = "ppmu-event3-leftbus";
  };
 };
};

&ppmu_rightbus {
 status = "okay";

 events {
  ppmu_rightbus_3: ppmu-event3-rightbus {
   event-name = "ppmu-event3-rightbus";
  };
 };
};