From f4724dd308db90b80e69e5374332ef8c92bc38ec Mon Sep 17 00:00:00 2001
From: Andrey Konovalov <andreyknvl@google.com>
Date: Fri, 12 Jun 2020 18:10:53 +0200
Subject: sys/linux: move vhci stuff to dev_vhci.txt

---
 sys/linux/socket_bluetooth.txt | 35 -----------------------------------
 1 file changed, 35 deletions(-)

(limited to 'sys/linux/socket_bluetooth.txt')

diff --git a/sys/linux/socket_bluetooth.txt b/sys/linux/socket_bluetooth.txt
index f07fb47bf..b6abe700b 100644
--- a/sys/linux/socket_bluetooth.txt
+++ b/sys/linux/socket_bluetooth.txt
@@ -29,41 +29,6 @@ setsockopt$bt_hci_HCI_TIME_STAMP(fd sock_bt_hci, level const[0], opt const[HCI_T
 setsockopt$bt_hci_HCI_FILTER(fd sock_bt_hci, level const[0], opt const[HCI_FILTER], arg ptr[in, hci_ufilter], arglen len[arg])
 getsockopt$bt_hci(fd sock, level const[0], opt flags[bt_hci_sockopt], arg buffer[out], arglen ptr[inout, len[arg, int32]])
 
-resource fd_vhci[fd]
-openat$vhci(fd const[AT_FDCWD], file ptr[in, string["/dev/vhci"]], flags flags[open_flags]) fd_vhci
-write$vhci(fd fd_vhci, data ptr[in, vhci_command], size bytesize[data])
-
-vhci_command [
-	HCI_EVENT_PKT	vhci_command_event_pkt
-	HCI_ACLDATA_PKT	vhci_command_acldata_pkt
-	HCI_SCODATA_PKT	vhci_command_generic[HCI_SCODATA_PKT]
-	HCI_VENDOR_PKT	vhci_command_vendor_pkt
-] [varlen]
-
-type vhci_command_generic[CMD] {
-	cmd	const[CMD, int8]
-# TODO: what's the format of these packets? Is there anything interesting?
-	data	array[int8]
-}
-
-vhci_command_event_pkt {
-	cmd	const[HCI_EVENT_PKT, int8]
-	hdr	hci_event_hdr_un
-}
-
-vhci_command_acldata_pkt {
-	cmd		const[HCI_ACLDATA_PKT, int8]
-	acl_hdr		hci_acl_hdr[vhci_command_acldata_pkt:l2cap_hdr]
-	l2cap_hdr	l2cap_hdr_un
-}
-
-vhci_command_vendor_pkt {
-	cmd	const[HCI_VENDOR_PKT, int8]
-	opcode	flags[vhci_vendor_pkt_opcode, int8]
-}
-
-vhci_vendor_pkt_opcode = HCI_PRIMARY, HCI_AMP, HCI_EXTERNAL_CONFIG, HCI_RAW_DEVICE
-
 define HCI_EXTERNAL_CONFIG	0x40
 define HCI_RAW_DEVICE	0x80
 
-- 
cgit mrf-deployment