tree d8fa4fef3b97654ea701b4fd119795e1e67e830f
parent c1369aa0930694618c641c5d73ef20ec18b64102
author tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1139675514 +0000
committer tom <tom@a5019735-40e9-0310-863c-91ae7b9d1cf9> 1139675514 +0000

Add missing VKI_ prefixes.


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