bitmap_ppn64 337 drivers/misc/vmw_vmci/vmci_doorbell.c bitmap_set_msg.bitmap_ppn64 = bitmap_ppn; bitmap_ppn64 577 include/linux/vmw_vmci_defs.h u64 bitmap_ppn64;