system log (filtered by hdmi)

dmesg | grep hdmi
[    0.000000] Kernel command line: rootfstype=ext4 maxcpus=2 consoleblank=0 vt.global_cursor_default=0 console=ttymxc0,115200 root=/dev/mmcblk0p2 rootwait rw video=mxcfb0:dev=ldb,1024x600M@60,if=RGB666,bpp=16 video=mxcfb1:dev=hdmi,1280x720M@60,if=RGB24 fbmem=28M
[    0.378365] mxc_hdmi 20e0000.hdmi_video: hdcp disable
[    0.498748] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_disp_init
[    0.498768] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_disp_init - default mode 1280x720M@60 bpp=32
[    0.498777] mxc_hdmi 20e0000.hdmi_video: ipu: 0, display: 1
[    0.498833] mxc_hdmi 20e0000.hdmi_video: Enabled HDMI clocks
[    0.498846] mxc_hdmi 20e0000.hdmi_video: Detected HDMI controller 0x13:0x1a:0xa0:0xc1
[    0.499122] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_disp_init exit
[    0.499133] mxc_sdc_fb fb@1: registered mxc display driver hdmi
[    0.510525] mxc_hdmi 20e0000.hdmi_video: event=FB_EVENT_MODE_CHANGE
[    0.510852] mxc_hdmi 20e0000.hdmi_video: event=FB_EVENT_FB_REGISTERED
[    0.510861] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_fb_registered
[    0.510888] mxc_hdmi 20e0000.hdmi_video: Hotplug interrupt received
[    0.524079] mxc_hdmi 20e0000.hdmi_video: phy_int_stat=0x1, phy_int_pol=0x2
[    0.524086] mxc_hdmi 20e0000.hdmi_video: EVENT=plugin
[    0.524092] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_cable_connected
[    0.524099] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_read_edid
[    0.556050] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_edid_rebuild_modelist
[    1.257422] mxc_hdmi 20e0000.hdmi_video: Added mode 1:
[    1.257433] mxc_hdmi 20e0000.hdmi_video: xres = 640, yres = 480, freq = 60, vmode = 0, flag = 4
[    1.257452] mxc_hdmi 20e0000.hdmi_video: Added mode 8:
[    1.257462] mxc_hdmi 20e0000.hdmi_video: xres = 1920, yres = 1080, freq = 60, vmode = 32, flag = 2
[    1.257469] mxc_hdmi 20e0000.hdmi_video: Added mode 9:
[    1.257476] mxc_hdmi 20e0000.hdmi_video: xres = 1280, yres = 720, freq = 60, vmode = 32, flag = 2
[    1.257483] mxc_hdmi 20e0000.hdmi_video: Added mode 10:
[    1.257490] mxc_hdmi 20e0000.hdmi_video: xres = 720, yres = 480, freq = 60, vmode = 32, flag = 2
[    1.257497] mxc_hdmi 20e0000.hdmi_video: Added mode 11:
[    1.257506] mxc_hdmi 20e0000.hdmi_video: xres = 720, yres = 480, freq = 60, vmode = 16, flag = 2
[    1.257512] mxc_hdmi 20e0000.hdmi_video: Added mode 12:
[    1.257521] mxc_hdmi 20e0000.hdmi_video: xres = 640, yres = 480, freq = 60, vmode = 16, flag = 2
[    1.257528] mxc_hdmi 20e0000.hdmi_video: Added mode 14:
[    1.257537] mxc_hdmi 20e0000.hdmi_video: xres = 1920, yres = 1080, freq = 60, vmode = 32, flag = 1
[    1.855465] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_set_mode
[    1.859701] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_set_mode: New video mode
[    1.865319] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_set_mode_to_vga_dvi
[    1.870494] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_notify_fb
[    1.874785] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_phy_disable
[    1.879322] mxc_hdmi 20e0000.hdmi_video: event=FB_EVENT_MODE_CHANGE
[    1.879332] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_setup
[    1.879339] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_setup - video mode changed
[    1.879353] mxc_hdmi 20e0000.hdmi_video: CEA mode used vic=0
[    1.879359] mxc_hdmi 20e0000.hdmi_video: hdmi_av_composer
[    1.879369] mxc_hdmi 20e0000.hdmi_video: final pixclk = 24780000
[    1.879376] mxc_hdmi 20e0000.hdmi_video: hdmi_av_composer exit
[    1.879382] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_phy_init
[    1.879387] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_enable_video_path
[    1.879393] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_setup CEA mode
[    1.879405] mxc_hdmi 20e0000.hdmi_video: hdmi_enable_audio_clk
[    1.879411] mxc_hdmi 20e0000.hdmi_video: set up AVI frame
[    1.879433] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_setup exit
[    1.938866] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_notify_fb exit
[    1.943586] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_notify_fb
[    1.947870] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_phy_disable
[    1.952366] mxc_hdmi 20e0000.hdmi_video: event=FB_EVENT_MODE_CHANGE
[    1.952372] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_setup
[    1.952378] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_setup - video mode changed
[    1.952389] mxc_hdmi 20e0000.hdmi_video: CEA mode used vic=4
[    1.952395] mxc_hdmi 20e0000.hdmi_video: hdmi_av_composer
[    1.952402] mxc_hdmi 20e0000.hdmi_video: final pixclk = 74250000
[    1.952408] mxc_hdmi 20e0000.hdmi_video: hdmi_av_composer exit
[    1.952413] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_phy_init
[    1.952418] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_enable_video_path
[    1.952424] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_setup CEA mode
[    1.952434] mxc_hdmi 20e0000.hdmi_video: hdmi_enable_audio_clk
[    1.952439] mxc_hdmi 20e0000.hdmi_video: set up AVI frame
[    1.952460] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_setup exit
[    2.014892] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_notify_fb exit
[    2.019608] mxc_hdmi 20e0000.hdmi_video: mxc_hdmi_cable_connected exit