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