K 10
svn:author
V 8
jmallett
K 8
svn:date
V 27
2010-04-19T18:30:11.510519Z
K 7
svn:log
V 133
o) Don't obfuscate that the PFN mask is 32-bits by adding a leading 0.
o) Cast the PFN to vm_paddr_t before shifting it to the left.

END