x86/xen: resume timer irqs early
[linux/fpc-iii.git] / Documentation / devicetree / bindings / video / exynos_hdmi.txt
blob323983be3c30d1684ec155736f0e9e179922fccc
1 Device-Tree bindings for drm hdmi driver
3 Required 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.
16 Example:
18         hdmi {
19                 compatible = "samsung,exynos4212-hdmi";
20                 reg = <0x14530000 0x100000>;
21                 interrupts = <0 95 0>;
22                 hpd-gpio = <&gpx3 7 1>;
23         };