bdpayne/libvmi — pull request #156 by tklengyel (2014-04-09 12:53:15+00:00)
Title: Extend vmi_pid_t to 128-bit so that it can be casted to be process_conte...

...xt_t which contains both a 32-bit pid and 64-bit dtb