We need to know when the 816x/814x EVM output is plugged into an HDMI sink, to read and process the EDID, and determine HDMI vs DVI. Similarly, we also need to know if the HPD is pulsed (signaling an EDID change), so periodic polling with ioctl(TI81XXHDMI_GET_STATUS) seems ill-advised. Is there a way to get asynchronous notification of Hot Plug Detect state changes?