K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2008-01-29T23:36:42.000000Z
K 7
svn:log
V 110
Use target_read_memory() and extract_unsigned_integer() instead of direct
KVM access to read kernel pointers.

END