linux/Documentation/devicetree/bindings/video/exynos_hdmi.txt
<<
>>
Prefs
   1Device-Tree bindings for drm hdmi driver
   2
   3Required properties:
   4- compatible: value should be one among the following:
   5        1) "samsung,exynos5-hdmi" <DEPRECATED>
   6        2) "samsung,exynos4210-hdmi"
   7        3) "samsung,exynos4212-hdmi"
   8- reg: physical base address of the hdmi and length of memory mapped
   9        region.
  10- interrupts: interrupt number to the cpu.
  11- hpd-gpio: following information about the hotplug gpio pin.
  12        a) phandle of the gpio controller node.
  13        b) pin number within the gpio controller.
  14        c) optional flags and pull up/down.
  15
  16Example:
  17
  18        hdmi {
  19                compatible = "samsung,exynos4212-hdmi";
  20                reg = <0x14530000 0x100000>;
  21                interrupts = <0 95 0>;
  22                hpd-gpio = <&gpx3 7 1>;
  23        };
  24