From f4724dd308db90b80e69e5374332ef8c92bc38ec Mon Sep 17 00:00:00 2001 From: Andrey Konovalov Date: Fri, 12 Jun 2020 18:10:53 +0200 Subject: sys/linux: move vhci stuff to dev_vhci.txt --- sys/linux/dev_vhci.txt | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) (limited to 'sys/linux/dev_vhci.txt') diff --git a/sys/linux/dev_vhci.txt b/sys/linux/dev_vhci.txt index 90257deae..48ef737d6 100644 --- a/sys/linux/dev_vhci.txt +++ b/sys/linux/dev_vhci.txt @@ -6,6 +6,41 @@ include include include +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 + type hci_acl_hdr[DATA] { bc int16:2 pb int16:2 -- cgit mrf-deployment