vmci_q_read_pointer  767 include/linux/vmw_vmci_defs.h 	u64 new_val = vmci_q_read_pointer(var);
vmci_q_read_pointer  784 include/linux/vmw_vmci_defs.h 	return vmci_q_read_pointer(&qh->producer_tail);
vmci_q_read_pointer  794 include/linux/vmw_vmci_defs.h 	return vmci_q_read_pointer(&qh->consumer_head);