The DM814x EZSDK ti-ezsdk_dm814x-evm_5_05_02_00 (which has PSP 04.04.00.01) included the HDMI ioctl TI81XXHDMI_WAIT_FOR_HPD_CHANGE, which is very useful. In fact, it was the solution to an e2e post, http://e2e.ti.com/support/dsp/davinci_digital_media_processors/f/717/p/190364/683305.aspx , and I am using it in my app. But the new PSP 04.04.00.02 released at http://downloads.ti.com/dsps/dsps_public_sw/psp/LinuxPSP/TI81XX_04_04/04_04_00_02/index_FDS.html does not include it, even though the document included in the new PSP.zip file, TI81XX_PSP_HDMI_Driver_User_Guide.pdf, mentions it.
It was checked into Arago as http://arago-project.org/git/projects/?p=linux-omap3.git;a=commit;h=d820ebaf6b955b5a45aaf267bd64e4a87ce0cb83, and shows up in the short log for the branch at TI81XXPSP_04.04.00.01 . But it does not show up in the short log for the ti81xx-master branch, or the v2.6.37_TI81XXPSP_04.04.00.02.patch1 tag, which I think may match the released PSP.
What is going on here?