It seems deref_UInt is fine - socklen_t is a 32 bit value on amd64.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@3502

diff --git a/docs/64-bit-cleanness b/docs/64-bit-cleanness
index 2d92e74ba6b25329b5ffeeb6ede4a8b92c1e069d..45d4241f9b82a1bd3fe22c603ee215c551c17783 100644 (file)
--- a/docs/64-bit-cleanness
+++ b/docs/64-bit-cleanness
@@ -27,7 +27,6 @@ Symbol table stuff:
 
 Others:
 - search for the following casts: (UInt*), (Int*), (UInt *), (Int *)
-- should deref_UInt be deref_UWord??  Is socklen_t word-sized?
 - vki_sigset_t.sig use: the debug printing in do_setmask() is wrong -- it
   touches sig[1], thus assuming 32-bits.  Likewise in handle_SCSS_change()
 - client_auxv in vg_main.c is UInt** -- should it be UWord** ?