K 10
svn:author
V 8
hselasky
K 8
svn:date
V 27
2015-11-12T10:12:20.710359Z
K 7
svn:log
V 238
Fix integer to pointer of different size conversion warnings when
using GCC for 32-bit platforms. The integer size in this case is
hardcoded 64-bit while the pointer size is 32-bit.

Sponsored by:	Mellanox Technologies
MFC after:	2 weeks

END