It's in the 4.00 M33 archive. There are also a few files not included in it that can be found in the TV support archive moonlight posted here at ps2dev.
The TV archive moonlight posted here: dve_sample.zip. The dve manager prx is out of date now since I changed it to set the vram to 4 MB (another arc elsewhere on the site), but all the libs and includes are still valid and need to be added to the M33 SDK... which is in the 401 M33 arc, not the 400 arc. Sorry about the confusion... it's hard to keep track of the last arc... which is why this should be part of the repository here. It's not updated very often, so it's not like it would be a lot of work to maintain.