bitmap_ppn32      339 drivers/misc/vmw_vmci/vmci_doorbell.c 		bitmap_set_msg.bitmap_ppn32 = (u32) bitmap_ppn;
bitmap_ppn32      576 include/linux/vmw_vmci_defs.h 		u32 bitmap_ppn32;