PPN                39 drivers/gpu/drm/vmwgfx/device_include/svga_types.h typedef uint32 PPN;
PPN                15 drivers/gpu/drm/vmwgfx/device_include/vm_basic_types.h typedef uint32 PPN;