sdk patches?

hi all!

i'm trying to build a domotica system controlled by a psp but it seems i cannot get the latest pspsdk sources..
in detail, i want to make a menu using the gu libs but i'm missing lots of #defines (eg GU_STATE_TEXTURE, GU_ALPHA_ADD and lots more) and i cannot find them anywhere. I did a checkout of the latest svn trunk form pspsdk but the definitions are not there.
However i've seen source code using them so someone should have figured them out allready, but who??
Any help is wellcome!