patch_hdmi.c revision 4ff19229
1