vmci_dbell_register_notification_bitmap   40 drivers/misc/vmw_vmci/vmci_doorbell.h bool vmci_dbell_register_notification_bitmap(u64 bitmap_ppn);
vmci_dbell_register_notification_bitmap  552 drivers/misc/vmw_vmci/vmci_guest.c 		if (!vmci_dbell_register_notification_bitmap(bitmap_ppn)) {