K 10
svn:author
V 8
jchandra
K 8
svn:date
V 27
2010-07-15T16:39:17.052270Z
K 7
svn:log
V 158
Fix for 64 bit compilation.

RMI bootloader passes argv[] and envp[] as an array of 32 bit pointers.
Convert the pointers to correct pointer type before use.

END