1.1 --- a/pkg/devices/lib/hdmi/include/hdmi-jz4780.h Sat May 23 16:05:22 2020 +0200
1.2 +++ b/pkg/devices/lib/hdmi/include/hdmi-jz4780.h Sat May 23 22:34:17 2020 +0200
1.3 @@ -51,11 +51,13 @@
1.4 protected:
1.5 void get_identification();
1.6
1.7 - void int_init();
1.8 + void irq_init();
1.9
1.10 void i2c_init();
1.11 long i2c_wait();
1.12
1.13 + void hotplug_init();
1.14 +
1.15 public:
1.16 Hdmi_jz4780_chip(l4_addr_t start, l4_addr_t end, l4_cap_idx_t irq);
1.17
1.18 @@ -65,6 +67,9 @@
1.19 void i2c_set_address(uint8_t address);
1.20 void i2c_set_segment(uint8_t segment);
1.21 void i2c_set_register(uint8_t device_register);
1.22 +
1.23 + bool connected();
1.24 + long wait_for_connection();
1.25 };
1.26
1.27 #endif /* __cplusplus */
1.28 @@ -87,4 +92,8 @@
1.29
1.30 void jz4780_hdmi_i2c_set_register(void *hdmi, uint8_t device_register);
1.31
1.32 +int jz4780_hdmi_connected(void *hdmi);
1.33 +
1.34 +long jz4780_hdmi_wait_for_connection(void *hdmi);
1.35 +
1.36 EXTERN_C_END