vmci_q_read_pointer
u64 new_val = vmci_q_read_pointer(var);
return vmci_q_read_pointer(&qh->producer_tail);
return vmci_q_read_pointer(&qh->consumer_head);