In board-support/linux-2.6.37-psp04.04.00.01/drivers/video/ti81xx/ti81xxhdmi/hdmi.c, in hdmi_get_edid(): if HDMI_CORE_DDC_READEDID() fails, then the buffers allocated by kzalloc() are all lost, right? It seems like HDMI_CORE_DDC_READEDID() should be done first ...