bdpayne/libvmi — pull request #25 by awsaba (2013-02-07 16:07:57+00:00)
Title: Fixing mask used with v2p cache for 64-bit addresses.

Also updated debug printing to show details of the v2p_cache_keys correctly.