K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2012-06-29T17:04:42.640627Z
K 7
svn:log
V 264
PMTB addresses are tought to be mostly opaque, so they are not turned
at all in void ptrs. However, vm_offset_t is not a correct choice
because it doesn't express at all the concept.

Simply handle the virutal addresses involved as uintptr_t.

Reviewed by:	cherry

END