hdmi4.c revision 7b295257
1