case HCI_SCODATA_PKT: vhci->hdev->stat.cmd_tx++; break; 
case HCI_SCODATA_PKT: vhci->hdev->stat.cmd_tx++; break; 
static inline ssize_t vhci_put_user(struct vhci_data *vhci,			struct sk_buff *skb, char __user *buf, int count){	char __user *ptr = buf;	int len, total = 0;	len = min_t(unsigned int, skb->len, count);	if (copy_to_user(ptr, skb->data, len))		return -EFAULT;	total += len;	vhci->hdev->stat.byte_tx += len;	switch (skb->pkt_type) {		case HCI_COMMAND_PKT:			vhci->hdev->stat.cmd_tx++;			break;		case HCI_ACLDATA_PKT:			vhci->hdev->stat.acl_tx++;			break;		case HCI_SCODATA_PKT:			vhci->hdev->stat.cmd_tx++;			break;	};	return total;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/0d48d93947dd9ea21c5cdc76a8581b06a4a39281/hci_vhci.c/buggy/drivers/bluetooth/hci_vhci.c