notify_idx_count   65 drivers/misc/vmw_vmci/vmci_doorbell.c static u32 notify_idx_count;
notify_idx_count  154 drivers/misc/vmw_vmci/vmci_doorbell.c 	if (max_notify_idx < PAGE_SIZE || notify_idx_count < PAGE_SIZE) {
notify_idx_count  162 drivers/misc/vmw_vmci/vmci_doorbell.c 			if (notify_idx_count + 1 < max_notify_idx) {
notify_idx_count  184 drivers/misc/vmw_vmci/vmci_doorbell.c 	notify_idx_count++;
notify_idx_count  203 drivers/misc/vmw_vmci/vmci_doorbell.c 	notify_idx_count--;