notification_base   56 drivers/misc/vmw_vmci/vmci_guest.c 	dma_addr_t notification_base;
notification_base  523 drivers/misc/vmw_vmci/vmci_guest.c 			&pdev->dev, PAGE_SIZE, &vmci_dev->notification_base,
notification_base  551 drivers/misc/vmw_vmci/vmci_guest.c 			vmci_dev->notification_base >> PAGE_SHIFT;
notification_base  662 drivers/misc/vmw_vmci/vmci_guest.c 				  vmci_dev->notification_base);
notification_base  724 drivers/misc/vmw_vmci/vmci_guest.c 				  vmci_dev->notification_base);