K 10
svn:author
V 5
gonzo
K 8
svn:date
V 27
2012-03-26T21:22:51.945058Z
K 7
svn:log
V 190
Properly cast 64-bit dofhp_dof to pointer.

For i386 this change is no-op. For AMD64 it was tested with DTrace test
suite: results are the same from the test run before the change and after

END