PPN64              40 drivers/gpu/drm/vmwgfx/device_include/svga_types.h typedef uint64 PPN64;
PPN64              16 drivers/gpu/drm/vmwgfx/device_include/vm_basic_types.h typedef uint64 PPN64;