tree 208e0deaa41d8b851eba9a1e499032d2eb9ad3e8
parent aba741d31f129abfeafd6a8886426de4207a3f85
author sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1118326667 +0000
committer sewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1118326667 +0000

Move some #define-d constants into the VKI department, where I should
have put them in the first place.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3860 a5019735-40e9-0310-863c-91ae7b9d1cf9