<p>laforge <strong>submitted</strong> this change.</p><p><a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/17676">View Change</a></p><div style="white-space:pre-wrap">Approvals:
laforge: Looks good to me, approved
Jenkins Builder: Verified
</div><pre style="font-family: monospace,monospace; white-space: pre-wrap;">Initial SIMTRACE testsuite<br><br>This doesn't really do much yet in terms of test coverage, but it<br>adds all related infrastructure<br><br>Change-Id: If9fa66b6c5fbddd742ff61fa2c1345736d07accd<br>---<br>M Makefile<br>M library/General_Types.ttcn<br>A simtrace/SIMTRACE_CARDEM_Tests.ttcn<br>A simtrace/SIMTRACE_Emulation.ttcn<br>A simtrace/SIMTRACE_Templates.ttcn<br>A simtrace/SIMTRACE_Tests.ttcn<br>A simtrace/SIMTRACE_Types.ttcn<br>A simtrace/gen_links.sh<br>A simtrace/regen_makefile.sh<br>9 files changed, 1,068 insertions(+), 1 deletion(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/Makefile b/Makefile</span><br><span>index 4ceacf3..90b54b3 100644</span><br><span>--- a/Makefile</span><br><span>+++ b/Makefile</span><br><span>@@ -13,7 +13,8 @@</span><br><span> # See the License for the specific language governing permissions and</span><br><span> # limitations under the License.</span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">-SUBDIRS=bsc bsc-nat bts ggsn_tests hlr mgw msc pcu remsim sccp selftest sgsn sip stp sysinfo</span><br><span style="color: hsl(120, 100%, 40%);">+SUBDIRS=bsc bsc-nat bts ggsn_tests hlr mgw msc pcu remsim sccp selftest sgsn \</span><br><span style="color: hsl(120, 100%, 40%);">+ simtrace sip stp sysinfo</span><br><span> </span><br><span> NPROC=$(shell nproc 2>/dev/null)</span><br><span> ifeq ($(NPROC),)</span><br><span>diff --git a/library/General_Types.ttcn b/library/General_Types.ttcn</span><br><span>index 924f28b..da396b7 100644</span><br><span>--- a/library/General_Types.ttcn</span><br><span>+++ b/library/General_Types.ttcn</span><br><span>@@ -75,6 +75,7 @@</span><br><span> type bitstring BIT15 length(15) with { variant "FIELDLENGTH(15)" };</span><br><span> type bitstring BIT16 length(16) with { variant "FIELDLENGTH(16)" };</span><br><span> type bitstring BIT24 length(24) with { variant "FIELDLENGTH(24)" };</span><br><span style="color: hsl(120, 100%, 40%);">+ type bitstring BIT27 length(27) with { variant "FIELDLENGTH(27)" };</span><br><span> type bitstring BIT28 length(28) with { variant "FIELDLENGTH(28)" };</span><br><span> type bitstring BIT29 length(29) with { variant "FIELDLENGTH(29)" };</span><br><span> type bitstring BIT30 length(30) with { variant "FIELDLENGTH(30)" };</span><br><span>diff --git a/simtrace/SIMTRACE_CARDEM_Tests.ttcn b/simtrace/SIMTRACE_CARDEM_Tests.ttcn</span><br><span>new file mode 100644</span><br><span>index 0000000..0f7a31f</span><br><span>--- /dev/null</span><br><span>+++ b/simtrace/SIMTRACE_CARDEM_Tests.ttcn</span><br><span>@@ -0,0 +1,10 @@</span><br><span style="color: hsl(120, 100%, 40%);">+module SIMTRACE_CARDEM_Tests {</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+import from General_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from Osmocom_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+import from SIMTRACE_Tests all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from SIMTRACE_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from SIMTRACE_Templates all;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span>diff --git a/simtrace/SIMTRACE_Emulation.ttcn b/simtrace/SIMTRACE_Emulation.ttcn</span><br><span>new file mode 100644</span><br><span>index 0000000..c907608</span><br><span>--- /dev/null</span><br><span>+++ b/simtrace/SIMTRACE_Emulation.ttcn</span><br><span>@@ -0,0 +1,175 @@</span><br><span style="color: hsl(120, 100%, 40%);">+module SIMTRACE_Emulation {</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+import from General_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from Osmocom_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from Misc_Helpers all;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+import from USB_PortType all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from USB_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from USB_Templates all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from USB_Component all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from USB_PortTypes all;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+import from SIMTRACE_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from SIMTRACE_Templates all;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* one USB interface */</span><br><span style="color: hsl(120, 100%, 40%);">+type component ST_Emulation_CT extends USB_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+ var integer g_ep_in;</span><br><span style="color: hsl(120, 100%, 40%);">+ var integer g_ep_out;</span><br><span style="color: hsl(120, 100%, 40%);">+ var integer g_ep_irq;</span><br><span style="color: hsl(120, 100%, 40%);">+ var USB_IF_Params g_pars;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ port ST_USER_PT INOUT;</span><br><span style="color: hsl(120, 100%, 40%);">+ port ST_USER_PT IRQ;</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type port ST_USER_PT message {</span><br><span style="color: hsl(120, 100%, 40%);">+ inout SIMTRACE_PDU;</span><br><span style="color: hsl(120, 100%, 40%);">+} with { extension "internal" };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* configuration for a ST_Emulation_CT */</span><br><span style="color: hsl(120, 100%, 40%);">+type record USB_IF_Params {</span><br><span style="color: hsl(120, 100%, 40%);">+ USB_Device_Match usb_dev_match,</span><br><span style="color: hsl(120, 100%, 40%);">+ integer usb_if_nr</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+private const octetstring c_oct261 := '000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000'O;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+private function f_usb_submit_xfer(USB_endpoint ep, octetstring data := c_oct261,</span><br><span style="color: hsl(120, 100%, 40%);">+ USB_transfer_type ttype := USB_TRANSFER_TYPE_BULK,</span><br><span style="color: hsl(120, 100%, 40%);">+ integer tout_ms := 30000) runs on USB_CT</span><br><span style="color: hsl(120, 100%, 40%);">+{</span><br><span style="color: hsl(120, 100%, 40%);">+ var integer req_hdl := f_usb_get_req_hdl();</span><br><span style="color: hsl(120, 100%, 40%);">+ var USB_transfer xfer := {</span><br><span style="color: hsl(120, 100%, 40%);">+ device_hdl := g_dev_hdl,</span><br><span style="color: hsl(120, 100%, 40%);">+ transfer_hdl := req_hdl,</span><br><span style="color: hsl(120, 100%, 40%);">+ endpoint := ep,</span><br><span style="color: hsl(120, 100%, 40%);">+ ttype := ttype,</span><br><span style="color: hsl(120, 100%, 40%);">+ data := data,</span><br><span style="color: hsl(120, 100%, 40%);">+ timeout_msec := tout_ms</span><br><span style="color: hsl(120, 100%, 40%);">+ };</span><br><span style="color: hsl(120, 100%, 40%);">+ USB.send(xfer);</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* open libusb device; claim interface; resolve endpoints; submit IN/IRQ transfers */</span><br><span style="color: hsl(120, 100%, 40%);">+function main(USB_IF_Params pars) runs on ST_Emulation_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+ var USB_Descriptor_Node root;</span><br><span style="color: hsl(120, 100%, 40%);">+ var integer i_config;</span><br><span style="color: hsl(120, 100%, 40%);">+ var integer i;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ g_pars := pars;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ f_usb_init(g_pars.usb_dev_match);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ i_config := f_usb_get_config();</span><br><span style="color: hsl(120, 100%, 40%);">+ log("USB Configuration: ", i_config);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ root := f_usb_get_desc_tree();</span><br><span style="color: hsl(120, 100%, 40%);">+ log(root);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* iterate over list of interfaces in current configuration */</span><br><span style="color: hsl(120, 100%, 40%);">+ for (i := 0; i < lengthof(root.children[i_config].children); i:=i+1) {</span><br><span style="color: hsl(120, 100%, 40%);">+ var USB_Descriptor_Node ifn := root.children[i_config].children[i];</span><br><span style="color: hsl(120, 100%, 40%);">+ var USB_InterfaceDescriptor ifd := ifn.desc.interface;</span><br><span style="color: hsl(120, 100%, 40%);">+ var integer j;</span><br><span style="color: hsl(120, 100%, 40%);">+ if (ifd.bInterfaceNumber != g_pars.usb_if_nr) {</span><br><span style="color: hsl(120, 100%, 40%);">+ continue;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ /* determine endpoints inside interface */</span><br><span style="color: hsl(120, 100%, 40%);">+ for (j := 0; j < lengthof(ifn.children); j:=j+1) {</span><br><span style="color: hsl(120, 100%, 40%);">+ if (ischosen(ifn.children[j].desc.endpoint)) {</span><br><span style="color: hsl(120, 100%, 40%);">+ var USB_EndpointDescriptor epd := ifn.children[j].desc.endpoint;</span><br><span style="color: hsl(120, 100%, 40%);">+ select (epd.bmAttributes.TranferType) {</span><br><span style="color: hsl(120, 100%, 40%);">+ case (USB_EpTransfer_BULK) {</span><br><span style="color: hsl(120, 100%, 40%);">+ if (epd.bEndpointAddress and4b '80'O == '80'O) {</span><br><span style="color: hsl(120, 100%, 40%);">+ g_ep_in := oct2int(epd.bEndpointAddress);</span><br><span style="color: hsl(120, 100%, 40%);">+ } else {</span><br><span style="color: hsl(120, 100%, 40%);">+ g_ep_out := oct2int(epd.bEndpointAddress);</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ case (USB_EpTransfer_INTERRUPT) {</span><br><span style="color: hsl(120, 100%, 40%);">+ g_ep_irq := oct2int(epd.bEndpointAddress);</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ log("USB Endpoints found: IN: ", int2oct(g_ep_in, 1), ", OUT: ", int2oct(g_ep_out, 1),</span><br><span style="color: hsl(120, 100%, 40%);">+ " IRQ: ", int2oct(g_ep_irq, 1));</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ f_usb_claim_interface(g_dev_hdl, g_pars.usb_if_nr);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* submit xfer fro IN and IRQ endpoints */</span><br><span style="color: hsl(120, 100%, 40%);">+ f_usb_submit_xfer(g_ep_in);</span><br><span style="color: hsl(120, 100%, 40%);">+ f_usb_submit_xfer(g_ep_irq, ttype := USB_TRANSFER_TYPE_INTERRUPT);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ var USB_transfer_compl tc;</span><br><span style="color: hsl(120, 100%, 40%);">+ var SIMTRACE_PDU stpdu_out, stpdu_in;</span><br><span style="color: hsl(120, 100%, 40%);">+ while (true) {</span><br><span style="color: hsl(120, 100%, 40%);">+ alt {</span><br><span style="color: hsl(120, 100%, 40%);">+ [] USB.receive(tr_UsbXfer_compl(g_ep_out, USB_TRANSFER_TYPE_BULK,</span><br><span style="color: hsl(120, 100%, 40%);">+ USB_TRANSFER_COMPLETED, g_dev_hdl, ?)) {</span><br><span style="color: hsl(120, 100%, 40%);">+ /* do nothing; normal completion of OUT transfer */</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ [] USB.receive(tr_UsbXfer_compl(g_ep_in, USB_TRANSFER_TYPE_BULK,</span><br><span style="color: hsl(120, 100%, 40%);">+ USB_TRANSFER_COMPLETED, g_dev_hdl, ?)) -> value tc {</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Submit another IN transfer */</span><br><span style="color: hsl(120, 100%, 40%);">+ f_usb_submit_xfer(g_ep_in);</span><br><span style="color: hsl(120, 100%, 40%);">+ stpdu_in := dec_SIMTRACE_PDU(tc.data);</span><br><span style="color: hsl(120, 100%, 40%);">+ INOUT.send(stpdu_in);</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ [] USB.receive(tr_UsbXfer_compl(g_ep_irq, USB_TRANSFER_TYPE_INTERRUPT,</span><br><span style="color: hsl(120, 100%, 40%);">+ USB_TRANSFER_COMPLETED, g_dev_hdl, ?))-> value tc {</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Submit another IRQ transfer */</span><br><span style="color: hsl(120, 100%, 40%);">+ f_usb_submit_xfer(g_ep_irq, ttype := USB_TRANSFER_TYPE_INTERRUPT);</span><br><span style="color: hsl(120, 100%, 40%);">+ stpdu_in := dec_SIMTRACE_PDU(tc.data);</span><br><span style="color: hsl(120, 100%, 40%);">+ IRQ.send(stpdu_in);</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ [] USB.receive(tr_UsbXfer_compl(g_ep_irq, USB_TRANSFER_TYPE_INTERRUPT,</span><br><span style="color: hsl(120, 100%, 40%);">+ USB_TRANSFER_TIMED_OUT, g_dev_hdl, ?)) -> value tc {</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Submit another IRQ transfer */</span><br><span style="color: hsl(120, 100%, 40%);">+ f_usb_submit_xfer(g_ep_irq, ttype := USB_TRANSFER_TYPE_INTERRUPT);</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ [] USB.receive(tr_UsbXfer_compl(?, ?, USB_TRANSFER_STALL, g_dev_hdl, ?)) -> value tc {</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "Unexpected USB_TRANSFER_STALL on EP ", int2hex(tc.endpoint, 2));</span><br><span style="color: hsl(120, 100%, 40%);">+ //mtc.stop;</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Submit another IN transfer */</span><br><span style="color: hsl(120, 100%, 40%);">+ f_usb_submit_xfer(tc.endpoint);</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ [] USB.receive(tr_UsbXfer_compl(?, ?, USB_TRANSFER_ERROR, g_dev_hdl, ?)) -> value tc {</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "Unexpected USB_TRANSFER_ERROR on EP ", int2hex(tc.endpoint, 2));</span><br><span style="color: hsl(120, 100%, 40%);">+ mtc.stop;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ [] USB.receive(tr_UsbXfer_compl(?, ?, USB_TRANSFER_TIMED_OUT, g_dev_hdl, ?)) -> value tc {</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "Unexpected USB_TRANSFER_TIMED_OUT on EP ", int2hex(tc.endpoint, 2));</span><br><span style="color: hsl(120, 100%, 40%);">+ mtc.stop;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ [] USB.receive(tr_UsbXfer_compl(?, ?, USB_TRANSFER_OVERFLOW, g_dev_hdl, ?)) -> value tc {</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "Unexpected USB_TRANSFER_OVERFLOW on EP ", int2hex(tc.endpoint, 2));</span><br><span style="color: hsl(120, 100%, 40%);">+ mtc.stop;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ [] USB.receive(tr_UsbXfer_compl(?, ?, ?, g_dev_hdl, ?)) -> value tc {</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "Unexpected USB Endpoint ", int2hex(tc.endpoint, 2));</span><br><span style="color: hsl(120, 100%, 40%);">+ mtc.stop;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ [] USB.receive(tr_UsbXfer_compl(?, ?, ?, ?, ?)) -> value tc {</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "Unexpected USB Device ", tc.device_hdl);</span><br><span style="color: hsl(120, 100%, 40%);">+ mtc.stop;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ [] USB.receive {</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "Unexpected Message from USB");</span><br><span style="color: hsl(120, 100%, 40%);">+ mtc.stop;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ [] INOUT.receive(SIMTRACE_PDU:?) -> value stpdu_out {</span><br><span style="color: hsl(120, 100%, 40%);">+ f_usb_submit_xfer(g_ep_out, enc_SIMTRACE_PDU(stpdu_out), tout_ms := 3000);</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span>diff --git a/simtrace/SIMTRACE_Templates.ttcn b/simtrace/SIMTRACE_Templates.ttcn</span><br><span>new file mode 100644</span><br><span>index 0000000..934253e</span><br><span>--- /dev/null</span><br><span>+++ b/simtrace/SIMTRACE_Templates.ttcn</span><br><span>@@ -0,0 +1,333 @@</span><br><span style="color: hsl(120, 100%, 40%);">+module SIMTRACE_Templates {</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+import from SIMTRACE_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from General_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from Osmocom_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* TTCN-3 templates Osmocom SIMTRACE2</span><br><span style="color: hsl(120, 100%, 40%);">+ * as found in simtrace2.git/host/include/osmocom/simtrace2/simtrace_prot.h</span><br><span style="color: hsl(120, 100%, 40%);">+ *</span><br><span style="color: hsl(120, 100%, 40%);">+ * (C) 2020 by Harald Welte <laforge@gnumonks.org></span><br><span style="color: hsl(120, 100%, 40%);">+ */</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/***********************************************************************</span><br><span style="color: hsl(120, 100%, 40%);">+ * GENERAL</span><br><span style="color: hsl(120, 100%, 40%);">+ ***********************************************************************/</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_SIMTRACE(template (value) SIMTRACE_MsgClassType msg_type,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) SIMTRACE_Payload payload) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ msg_type := msg_type,</span><br><span style="color: hsl(120, 100%, 40%);">+ seq_nr := 0,</span><br><span style="color: hsl(120, 100%, 40%);">+ slot_nr := 0,</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved := '0000'O,</span><br><span style="color: hsl(120, 100%, 40%);">+ msg_len := 0, /* overwritten */</span><br><span style="color: hsl(120, 100%, 40%);">+ payload := payload</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_SIMTRACE(template (present) SIMTRACE_MsgClassType msg_type,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) SIMTRACE_Payload payload) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ msg_type := msg_type,</span><br><span style="color: hsl(120, 100%, 40%);">+ seq_nr := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ slot_nr := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved := '0000'O,</span><br><span style="color: hsl(120, 100%, 40%);">+ msg_len := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ payload := payload</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) SIMTRACE_PDU ts_SIMTRACE_BOARD_INFO :=</span><br><span style="color: hsl(120, 100%, 40%);">+ ts_SIMTRACE(SIMTRACE_CMD_BD_BOARD_INFO,</span><br><span style="color: hsl(120, 100%, 40%);">+ { gen_bd_board_info := {</span><br><span style="color: hsl(120, 100%, 40%);">+ hardware := {</span><br><span style="color: hsl(120, 100%, 40%);">+ manufacturer := "",</span><br><span style="color: hsl(120, 100%, 40%);">+ model := "",</span><br><span style="color: hsl(120, 100%, 40%);">+ version := ""</span><br><span style="color: hsl(120, 100%, 40%);">+ },</span><br><span style="color: hsl(120, 100%, 40%);">+ software := {</span><br><span style="color: hsl(120, 100%, 40%);">+ provider := "",</span><br><span style="color: hsl(120, 100%, 40%);">+ name := "",</span><br><span style="color: hsl(120, 100%, 40%);">+ version := "",</span><br><span style="color: hsl(120, 100%, 40%);">+ buildhost := "",</span><br><span style="color: hsl(120, 100%, 40%);">+ crc := '00000000'O</span><br><span style="color: hsl(120, 100%, 40%);">+ },</span><br><span style="color: hsl(120, 100%, 40%);">+ max_baud_rate := 0,</span><br><span style="color: hsl(120, 100%, 40%);">+ cap_generic_bytes := 0,</span><br><span style="color: hsl(120, 100%, 40%);">+ cap_vendor_bytes := 0,</span><br><span style="color: hsl(120, 100%, 40%);">+ cap_generic := omit,</span><br><span style="color: hsl(120, 100%, 40%);">+ cap_vendor := omit</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_SIMTRACE_BOARD_INFO(template (present) Board_Info_Hardware hw := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) Board_Info_Software sw := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template Generic_Capability cap_gen := *,</span><br><span style="color: hsl(120, 100%, 40%);">+ template Generic_Capability_Vendor cap_vend := *) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_SIMTRACE(SIMTRACE_CMD_BD_BOARD_INFO,</span><br><span style="color: hsl(120, 100%, 40%);">+ { gen_bd_board_info := {</span><br><span style="color: hsl(120, 100%, 40%);">+ hardware := hw,</span><br><span style="color: hsl(120, 100%, 40%);">+ software := sw,</span><br><span style="color: hsl(120, 100%, 40%);">+ max_baud_rate := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ cap_generic_bytes := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ cap_vendor_bytes := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ cap_generic := cap_gen,</span><br><span style="color: hsl(120, 100%, 40%);">+ cap_vendor := cap_vend</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/***********************************************************************</span><br><span style="color: hsl(120, 100%, 40%);">+ * CARD EMULATION</span><br><span style="color: hsl(120, 100%, 40%);">+ ***********************************************************************/</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* dummy flags for BD_STATUS [request] */</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) CardEmu_StatusFlags ts_CardEmu_StatusFlags := {</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved := '000'B,</span><br><span style="color: hsl(120, 100%, 40%);">+ reset_active := false,</span><br><span style="color: hsl(120, 100%, 40%);">+ card_insert := false,</span><br><span style="color: hsl(120, 100%, 40%);">+ rcemu_active := false,</span><br><span style="color: hsl(120, 100%, 40%);">+ clk_active := false,</span><br><span style="color: hsl(120, 100%, 40%);">+ vcc_present := false,</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved2 := '000000000000000000000000'B</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) CardEmu_StatusFlags</span><br><span style="color: hsl(120, 100%, 40%);">+tr_CardEmu_StatusFlags(template (present) boolean reset_active := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) boolean card_insert := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) boolean clk_active := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) boolean vcc_present := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) boolean rcemu_active := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ reset_active := reset_active,</span><br><span style="color: hsl(120, 100%, 40%);">+ card_insert := card_insert,</span><br><span style="color: hsl(120, 100%, 40%);">+ rcemu_active := rcemu_active,</span><br><span style="color: hsl(120, 100%, 40%);">+ clk_active := clk_active,</span><br><span style="color: hsl(120, 100%, 40%);">+ vcc_present := vcc_present,</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved2 := ?</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) CardEmu_DataFlags</span><br><span style="color: hsl(120, 100%, 40%);">+ts_CardEmu_DataFlags(template (value) boolean pb_and_rx := false,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) boolean pb_and_tx := false,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) boolean final := false,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) boolean tpdu_hdr := false) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved := '0000'B,</span><br><span style="color: hsl(120, 100%, 40%);">+ pb_and_rx := pb_and_rx,</span><br><span style="color: hsl(120, 100%, 40%);">+ pb_and_tx := pb_and_tx,</span><br><span style="color: hsl(120, 100%, 40%);">+ final := final,</span><br><span style="color: hsl(120, 100%, 40%);">+ tpdu_hdr := tpdu_hdr,</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved2 := '000000000000000000000000'B</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) CardEmu_DataFlags</span><br><span style="color: hsl(120, 100%, 40%);">+tr_CardEmu_DataFlags(template (present) boolean pb_and_rx := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) boolean pb_and_tx := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) boolean final := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) boolean tpdu_hdr := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ pb_and_rx := pb_and_rx,</span><br><span style="color: hsl(120, 100%, 40%);">+ pb_and_tx := pb_and_tx,</span><br><span style="color: hsl(120, 100%, 40%);">+ final := final,</span><br><span style="color: hsl(120, 100%, 40%);">+ tpdu_hdr := tpdu_hdr,</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved2 := ?</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ ts_SIMTRACE_CEMU_TX_DATA(template (value) CardEmu_DataFlags flags,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (value) octetstring data) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ts_SIMTRACE(SIMTRACE_MSGT_DT_CEMU_TX_DATA,</span><br><span style="color: hsl(120, 100%, 40%);">+ { cardem_dt_txdata := {</span><br><span style="color: hsl(120, 100%, 40%);">+ flags := flags,</span><br><span style="color: hsl(120, 100%, 40%);">+ data_len := 0, /* overwritten */</span><br><span style="color: hsl(120, 100%, 40%);">+ data := data }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_SIMTRACE_CEMU_SET_ATR(template (value) octetstring atr) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ ts_SIMTRACE(SIMTRACE_MSGT_DT_CEMU_SET_ATR,</span><br><span style="color: hsl(120, 100%, 40%);">+ { cardem_dt_setatr := { atr_len := 0 /* overwritten */, atr := atr } });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_SIMTRACE_CEMU_STATUS :=</span><br><span style="color: hsl(120, 100%, 40%);">+ ts_SIMTRACE(SIMTRACE_MSGT_BD_CEMU_STATUS,</span><br><span style="color: hsl(120, 100%, 40%);">+ { cardem_bd_status := {</span><br><span style="color: hsl(120, 100%, 40%);">+ flags := ts_CardEmu_StatusFlags,</span><br><span style="color: hsl(120, 100%, 40%);">+ voltage_mv := 0, fi := 0, di := 0, wi := 0, waiting_time := 0</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_SIMTRACE_CEMU_STATUS(template (present) CardEmu_StatusFlags flags := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) uint16_t voltage_mv := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) uint8_t fi := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) uint8_t di := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) uint8_t wi := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) uint32_t waiting_time := ?) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_SIMTRACE(SIMTRACE_MSGT_BD_CEMU_STATUS,</span><br><span style="color: hsl(120, 100%, 40%);">+ { cardem_bd_status := {</span><br><span style="color: hsl(120, 100%, 40%);">+ flags := flags,</span><br><span style="color: hsl(120, 100%, 40%);">+ voltage_mv := voltage_mv,</span><br><span style="color: hsl(120, 100%, 40%);">+ fi := fi,</span><br><span style="color: hsl(120, 100%, 40%);">+ di := di,</span><br><span style="color: hsl(120, 100%, 40%);">+ wi := wi,</span><br><span style="color: hsl(120, 100%, 40%);">+ waiting_time := waiting_time</span><br><span style="color: hsl(120, 100%, 40%);">+ }});</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_SIMTRACE_CEMU_CARDINSERT(uint8_t insert) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ ts_SIMTRACE(SIMTRACE_MSGT_DT_CEMU_CARDINSERT,</span><br><span style="color: hsl(120, 100%, 40%);">+ { cardem_dt_cardinsert := { card_insert := insert } });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_SIMTRACE_CEMU_RX_DATA(template (present) CardEmu_DataFlags flags,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) octetstring data) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_SIMTRACE(SIMTRACE_MSGT_DO_CEMU_RX_DATA,</span><br><span style="color: hsl(120, 100%, 40%);">+ { cardem_do_rxdata := {</span><br><span style="color: hsl(120, 100%, 40%);">+ flags := flags,</span><br><span style="color: hsl(120, 100%, 40%);">+ data_len := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ data := data</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_SIMTRACE_CEMU_PTS(template (present) octetstring req, template (present) octetstring resp) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_SIMTRACE(SIMTRACE_MSGT_DO_CEMU_PTS,</span><br><span style="color: hsl(120, 100%, 40%);">+ { cardem_do_pts := {</span><br><span style="color: hsl(120, 100%, 40%);">+ pts_len := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ req := req,</span><br><span style="color: hsl(120, 100%, 40%);">+ resp := resp</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) CardEmu_FeatureFlags ts_FeatureFlags(boolean status_irq) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved := '0000000'B,</span><br><span style="color: hsl(120, 100%, 40%);">+ status_irq := status_irq,</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved2 := '000000000000000000000000'B</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) CardEmu_FeatureFlags tr_FeatureFlags(template (present) boolean status_irq := ?) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved := '0000000'B,</span><br><span style="color: hsl(120, 100%, 40%);">+ status_irq := status_irq,</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved2 := '000000000000000000000000'B</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_SIMTRACE_CEMU_CONFIG(template (value) CardEmu_FeatureFlags flags) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ ts_SIMTRACE(SIMTRACE_MSGT_BD_CEMU_CONFIG, { cardem_bd_config := { features := flags } });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_SIMTRACE_CEMU_CONFIG(template (present) CardEmu_FeatureFlags flags) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_SIMTRACE(SIMTRACE_MSGT_BD_CEMU_CONFIG, { cardem_bd_config := { features := flags } });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/***********************************************************************</span><br><span style="color: hsl(120, 100%, 40%);">+ * MODEM CONTROL</span><br><span style="color: hsl(120, 100%, 40%);">+ ***********************************************************************/</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) Modem_Status ts_ModemStatus(boolean card_inserted, boolean wwan_led) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved := '000000'B,</span><br><span style="color: hsl(120, 100%, 40%);">+ card_inserted := card_inserted,</span><br><span style="color: hsl(120, 100%, 40%);">+ wwan_led := wwan_led</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) Modem_Status tr_ModemStatus(template (present) boolean card_inserted,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) boolean wwan_led) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ reserved := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ card_inserted := card_inserted,</span><br><span style="color: hsl(120, 100%, 40%);">+ wwan_led := wwan_led</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_SIMTRACE_MODEM_RESET(ModemResetType rst_type := MODEM_RESET_PULSE,</span><br><span style="color: hsl(120, 100%, 40%);">+ uint16_t duration_msec := 400) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ ts_SIMTRACE(SIMTRACE_MSGT_DT_MODEM_RESET,</span><br><span style="color: hsl(120, 100%, 40%);">+ { modem_dt_reset := {</span><br><span style="color: hsl(120, 100%, 40%);">+ asserted := rst_type,</span><br><span style="color: hsl(120, 100%, 40%);">+ pulse_duration_msec := duration_msec</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_SIMTRACE_MODEM_SIM_SELECT(SimSelect sim_sel) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ ts_SIMTRACE(SIMTRACE_MSGT_DT_MODEM_SIM_SELECT,</span><br><span style="color: hsl(120, 100%, 40%);">+ { modem_dt_sim_select := {</span><br><span style="color: hsl(120, 100%, 40%);">+ sim_select := sim_sel</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (value) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+ts_SIMTRACE_MODEM_STATUS :=</span><br><span style="color: hsl(120, 100%, 40%);">+ ts_SIMTRACE(SIMTRACE_MSGT_BD_MODEM_STATUS,</span><br><span style="color: hsl(120, 100%, 40%);">+ { modem_bd_status := {</span><br><span style="color: hsl(120, 100%, 40%);">+ supported := ts_ModemStatus(false, false),</span><br><span style="color: hsl(120, 100%, 40%);">+ status := ts_ModemStatus(false, false),</span><br><span style="color: hsl(120, 100%, 40%);">+ changed := ts_ModemStatus(false, false)</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_SIMTRACE_MODEM_STATUS(template (present) Modem_Status supported := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) Modem_Status status := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) Modem_Status changed := ?) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_SIMTRACE(SIMTRACE_MSGT_BD_MODEM_STATUS,</span><br><span style="color: hsl(120, 100%, 40%);">+ { modem_bd_status := {</span><br><span style="color: hsl(120, 100%, 40%);">+ supported := supported,</span><br><span style="color: hsl(120, 100%, 40%);">+ status := status,</span><br><span style="color: hsl(120, 100%, 40%);">+ changed := changed</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/***********************************************************************</span><br><span style="color: hsl(120, 100%, 40%);">+ * SNIFFER</span><br><span style="color: hsl(120, 100%, 40%);">+ ***********************************************************************/</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_SIMTRACE_SNIFF_CHANGE(template (present) Sniff_Flags flags) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_SIMTRACE(SIMTRACE_MSGT_SNIFF_CHANGE,</span><br><span style="color: hsl(120, 100%, 40%);">+ { sniff_do_change := { flags := flags } });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_SIMTRACE_SNIFF_FIDI(template (present) uint8_t fidi := ?) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_SIMTRACE(SIMTRACE_MSGT_SNIFF_FIDI,</span><br><span style="color: hsl(120, 100%, 40%);">+ { sniff_do_fidi := { fidi := fidi } });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_SIMTRACE_SNIFF_ATR(template (present) octetstring data,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) Sniff_Flags flags := ?) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_SIMTRACE(SIMTRACE_MSGT_SNIFF_FIDI,</span><br><span style="color: hsl(120, 100%, 40%);">+ { sniff_do_atr := {</span><br><span style="color: hsl(120, 100%, 40%);">+ flags := flags,</span><br><span style="color: hsl(120, 100%, 40%);">+ data_len := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ data := data</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_SIMTRACE_SNIFF_PPS(template (present) octetstring data,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) Sniff_Flags flags := ?) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_SIMTRACE(SIMTRACE_MSGT_SNIFF_PPS,</span><br><span style="color: hsl(120, 100%, 40%);">+ { sniff_do_atr := {</span><br><span style="color: hsl(120, 100%, 40%);">+ flags := flags,</span><br><span style="color: hsl(120, 100%, 40%);">+ data_len := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ data := data</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+template (present) SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+tr_SIMTRACE_SNIFF_TPDU(template (present) octetstring data,</span><br><span style="color: hsl(120, 100%, 40%);">+ template (present) Sniff_Flags flags := ?) :=</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_SIMTRACE(SIMTRACE_MSGT_SNIFF_TPDU,</span><br><span style="color: hsl(120, 100%, 40%);">+ { sniff_do_atr := {</span><br><span style="color: hsl(120, 100%, 40%);">+ flags := flags,</span><br><span style="color: hsl(120, 100%, 40%);">+ data_len := ?,</span><br><span style="color: hsl(120, 100%, 40%);">+ data := data</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ });</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span>diff --git a/simtrace/SIMTRACE_Tests.ttcn b/simtrace/SIMTRACE_Tests.ttcn</span><br><span>new file mode 100644</span><br><span>index 0000000..90ac986</span><br><span>--- /dev/null</span><br><span>+++ b/simtrace/SIMTRACE_Tests.ttcn</span><br><span>@@ -0,0 +1,162 @@</span><br><span style="color: hsl(120, 100%, 40%);">+module SIMTRACE_Tests {</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+import from General_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from Osmocom_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from Misc_Helpers all;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+import from USB_PortType all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from USB_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from USB_Templates all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from USB_Component all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from USB_PortTypes all;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+import from SIMTRACE_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from SIMTRACE_Templates all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from SIMTRACE_Emulation all;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+modulepar {</span><br><span style="color: hsl(120, 100%, 40%);">+ //USB_Device_Match mp_usb_dev_match := { vid_pid := { vid := '1d50'H, pid := '60e3'H} };</span><br><span style="color: hsl(120, 100%, 40%);">+ USB_Device_Match mp_usb_dev_match := { vid_pid := { vid := '1d50'H, pid := '4004'H} };</span><br><span style="color: hsl(120, 100%, 40%);">+ charstring mp_usb_path := "1-2.4.4";</span><br><span style="color: hsl(120, 100%, 40%);">+ integer mp_usb_interface := 0;</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+//private const integer NR_IF := 2;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type component Test_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+ var ST_Emulation_CT vc_ST;</span><br><span style="color: hsl(120, 100%, 40%);">+ port ST_USER_PT ST;</span><br><span style="color: hsl(120, 100%, 40%);">+ port ST_USER_PT ST_IRQ;</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+private template (value) USB_IF_Params ts_UsbPars_path(charstring path, uint8_t if_nr) := {</span><br><span style="color: hsl(120, 100%, 40%);">+ usb_dev_match := {</span><br><span style="color: hsl(120, 100%, 40%);">+ path := {</span><br><span style="color: hsl(120, 100%, 40%);">+ path := path</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ },</span><br><span style="color: hsl(120, 100%, 40%);">+ usb_if_nr := if_nr</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+function f_init(USB_IF_Params pars) runs on Test_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+ vc_ST := ST_Emulation_CT.create("ST");</span><br><span style="color: hsl(120, 100%, 40%);">+ map(vc_ST:USB, system:USB);</span><br><span style="color: hsl(120, 100%, 40%);">+ connect(vc_ST:INOUT, self:ST);</span><br><span style="color: hsl(120, 100%, 40%);">+ connect(vc_ST:IRQ, self:ST_IRQ);</span><br><span style="color: hsl(120, 100%, 40%);">+ vc_ST.start(SIMTRACE_Emulation.main(pars));</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+function f_drain() runs on Test_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+ timer T := 0.1;</span><br><span style="color: hsl(120, 100%, 40%);">+ T.start;</span><br><span style="color: hsl(120, 100%, 40%);">+ alt {</span><br><span style="color: hsl(120, 100%, 40%);">+ [] ST.receive {</span><br><span style="color: hsl(120, 100%, 40%);">+ log("Drained msg from INOUT");</span><br><span style="color: hsl(120, 100%, 40%);">+ repeat;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ [] ST_IRQ.receive {</span><br><span style="color: hsl(120, 100%, 40%);">+ log("Drained msg from IRQ");</span><br><span style="color: hsl(120, 100%, 40%);">+ repeat;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ [] T.timeout { }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+function f_xceive(template (value) SIMTRACE_PDU tx, template (present) SIMTRACE_PDU exp_rx)</span><br><span style="color: hsl(120, 100%, 40%);">+runs on Test_CT return SIMTRACE_PDU {</span><br><span style="color: hsl(120, 100%, 40%);">+ var SIMTRACE_PDU rx;</span><br><span style="color: hsl(120, 100%, 40%);">+ timer T := 5.0;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ ST.send(tx);</span><br><span style="color: hsl(120, 100%, 40%);">+ T.start;</span><br><span style="color: hsl(120, 100%, 40%);">+ alt {</span><br><span style="color: hsl(120, 100%, 40%);">+ [] ST.receive(exp_rx) -> value rx {</span><br><span style="color: hsl(120, 100%, 40%);">+ T.stop;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ [] T.timeout {</span><br><span style="color: hsl(120, 100%, 40%);">+ setverdict(fail, "Timeout waiting for ", exp_rx);</span><br><span style="color: hsl(120, 100%, 40%);">+ mtc.stop;</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ return rx;</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+testcase TC_test() runs on Test_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ var USB_IF_Params pars := valueof(ts_UsbPars_path(mp_usb_path, mp_usb_interface));</span><br><span style="color: hsl(120, 100%, 40%);">+ f_init(pars);</span><br><span style="color: hsl(120, 100%, 40%);">+ f_drain();</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Enable the use of the IRQ endpoint to report status updates */</span><br><span style="color: hsl(120, 100%, 40%);">+ f_xceive(ts_SIMTRACE_CEMU_CONFIG(ts_FeatureFlags(true)),</span><br><span style="color: hsl(120, 100%, 40%);">+ tr_SIMTRACE_CEMU_CONFIG(tr_FeatureFlags(true)))</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Choose "remote" SIM */</span><br><span style="color: hsl(120, 100%, 40%);">+ ST.send(ts_SIMTRACE_MODEM_SIM_SELECT(SIM_SELECT_REMOTE));</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Trigger modem reset pulse */</span><br><span style="color: hsl(120, 100%, 40%);">+ ST.send(ts_SIMTRACE_MODEM_RESET);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ f_drain();</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ var SIMTRACE_PDU rx;</span><br><span style="color: hsl(120, 100%, 40%);">+ while (true) {</span><br><span style="color: hsl(120, 100%, 40%);">+ /* receive TPDU header */</span><br><span style="color: hsl(120, 100%, 40%);">+ ST.receive(tr_SIMTRACE_CEMU_RX_DATA(tr_CardEmu_DataFlags(tpdu_hdr:=true), ?)) -> value rx;</span><br><span style="color: hsl(120, 100%, 40%);">+ var octetstring apdu_hdr := rx.payload.cardem_do_rxdata.data;</span><br><span style="color: hsl(120, 100%, 40%);">+ /* send PB and request further Rx (command bytes) */</span><br><span style="color: hsl(120, 100%, 40%);">+ ST.send(ts_SIMTRACE_CEMU_TX_DATA(ts_CardEmu_DataFlags(pb_and_rx:=true), apdu_hdr[1]));</span><br><span style="color: hsl(120, 100%, 40%);">+ /* receive remaining data from reader */</span><br><span style="color: hsl(120, 100%, 40%);">+ ST.receive(tr_SIMTRACE_CEMU_RX_DATA(tr_CardEmu_DataFlags(final:=true), ?));</span><br><span style="color: hsl(120, 100%, 40%);">+ ST.send(ts_SIMTRACE_CEMU_TX_DATA(ts_CardEmu_DataFlags(pb_and_tx:=true), '9000'O));</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ f_sleep(100.0);</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* Test how firmware reacts on overly-long message (OS#4429, OS#4428) */</span><br><span style="color: hsl(120, 100%, 40%);">+testcase TC_long_out() runs on Test_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+ var USB_IF_Params pars := valueof(ts_UsbPars_path(mp_usb_path, mp_usb_interface));</span><br><span style="color: hsl(120, 100%, 40%);">+ f_init(pars);</span><br><span style="color: hsl(120, 100%, 40%);">+ f_drain();</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ ST.send(ts_SIMTRACE_CEMU_TX_DATA(ts_CardEmu_DataFlags, f_rnd_octstring(300)));</span><br><span style="color: hsl(120, 100%, 40%);">+ f_sleep(5.0);</span><br><span style="color: hsl(120, 100%, 40%);">+ /* FIXME: how to verify the device did not reset itself? */</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* flood the OUT endpoint with 1000 messages; much more than the firmware can handle */</span><br><span style="color: hsl(120, 100%, 40%);">+testcase TC_flood_out() runs on Test_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+ var USB_IF_Params pars := valueof(ts_UsbPars_path(mp_usb_path, mp_usb_interface));</span><br><span style="color: hsl(120, 100%, 40%);">+ f_init(pars);</span><br><span style="color: hsl(120, 100%, 40%);">+ f_drain();</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ var integer i;</span><br><span style="color: hsl(120, 100%, 40%);">+ for (i := 0; i < 1000; i := i+1) {</span><br><span style="color: hsl(120, 100%, 40%);">+ ST.send(ts_SIMTRACE_CEMU_TX_DATA(ts_CardEmu_DataFlags, f_rnd_octstring(10)));</span><br><span style="color: hsl(120, 100%, 40%);">+ }</span><br><span style="color: hsl(120, 100%, 40%);">+ f_sleep(5.0);</span><br><span style="color: hsl(120, 100%, 40%);">+ /* FIXME: how to verify the device is still responsive? */</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+testcase TC_selftest() runs on Test_CT {</span><br><span style="color: hsl(120, 100%, 40%);">+ const octetstring c_cemu_sim_rem := '020200000000090001'O;</span><br><span style="color: hsl(120, 100%, 40%);">+ const octetstring c_cemu_rx := '010600000000130001000000050000A4000402'O;</span><br><span style="color: hsl(120, 100%, 40%);">+ /* 0106000000001300</span><br><span style="color: hsl(120, 100%, 40%);">+ 01000000</span><br><span style="color: hsl(120, 100%, 40%);">+ 0500</span><br><span style="color: hsl(120, 100%, 40%);">+ 00A4000402</span><br><span style="color: hsl(120, 100%, 40%);">+ */</span><br><span style="color: hsl(120, 100%, 40%);">+ log(dec_SIMTRACE_PDU(c_cemu_rx));</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+}</span><br><span>diff --git a/simtrace/SIMTRACE_Types.ttcn b/simtrace/SIMTRACE_Types.ttcn</span><br><span>new file mode 100644</span><br><span>index 0000000..7b1c857</span><br><span>--- /dev/null</span><br><span>+++ b/simtrace/SIMTRACE_Types.ttcn</span><br><span>@@ -0,0 +1,356 @@</span><br><span style="color: hsl(120, 100%, 40%);">+module SIMTRACE_Types {</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* TTCN-3 data types with TITAN RAW codec annotations for Osmocom SIMTRACE2</span><br><span style="color: hsl(120, 100%, 40%);">+ * as found in simtrace2.git/host/include/osmocom/simtrace2/simtrace_prot.h</span><br><span style="color: hsl(120, 100%, 40%);">+ *</span><br><span style="color: hsl(120, 100%, 40%);">+ * (C) 2020 by Harald Welte <laforge@gnumonks.org></span><br><span style="color: hsl(120, 100%, 40%);">+ */</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+import from General_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+import from Osmocom_Types all;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type integer u16le_t (0..65535) with { variant "unsigned 16 bit" variant "BYTEORDER(first)" };</span><br><span style="color: hsl(120, 100%, 40%);">+type integer u32le_t (0..4294967295) with { variant "unsigned 32 bit" variant "BYTEORDER(first)" };</span><br><span style="color: hsl(120, 100%, 40%);">+type charstring CHAR32 length (0..32) with { variant "FIELDLENGTH(32)" };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type enumerated SIMTRACE_MsgClassType {</span><br><span style="color: hsl(120, 100%, 40%);">+ /* SIMTRACE_MSGC_GENERIC */</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_CMD_DO_ERROR ('0000'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_CMD_BD_BOARD_INFO ('0001'H),</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* SIMTRACE_MSGC_CARDEM */</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_DT_CEMU_TX_DATA ('0101'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_DT_CEMU_SET_ATR ('0102'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_BD_CEMU_STATS ('0103'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_BD_CEMU_STATUS ('0104'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_DT_CEMU_CARDINSERT ('0105'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_DO_CEMU_RX_DATA ('0106'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_DO_CEMU_PTS ('0107'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_BD_CEMU_CONFIG ('0108'H),</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* SIMTRACE_MSGC_MODEM */</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_DT_MODEM_RESET ('0201'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_DT_MODEM_SIM_SELECT ('0202'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_BD_MODEM_STATUS ('0203'H),</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ /* SIMTRACE_MSGC_SNIFF */</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_SNIFF_CHANGE ('0300'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_SNIFF_FIDI ('0301'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_SNIFF_ATR ('0302'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_SNIFF_PPS ('0303'H),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MSGT_SNIFF_TPDU ('0304'H)</span><br><span style="color: hsl(120, 100%, 40%);">+} with { variant "FIELDLENGTH(16)" variant "BYTEORDER(last)" };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type record SIMTRACE_PDU {</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_MsgClassType msg_type,</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t seq_nr,</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t slot_nr,</span><br><span style="color: hsl(120, 100%, 40%);">+ OCT2 reserved,</span><br><span style="color: hsl(120, 100%, 40%);">+ u16le_t msg_len,</span><br><span style="color: hsl(120, 100%, 40%);">+ SIMTRACE_Payload payload</span><br><span style="color: hsl(120, 100%, 40%);">+ /* payload */</span><br><span style="color: hsl(120, 100%, 40%);">+} with {</span><br><span style="color: hsl(120, 100%, 40%);">+ variant (msg_len) "LENGTHTO(msg_type,seq_nr,slot_nr,reserved,msg_len,payload)"</span><br><span style="color: hsl(120, 100%, 40%);">+ variant (payload) "CROSSTAG(</span><br><span style="color: hsl(120, 100%, 40%);">+ gen_do_error, msg_type = SIMTRACE_CMD_DO_ERROR;</span><br><span style="color: hsl(120, 100%, 40%);">+ gen_bd_board_info, msg_type = SIMTRACE_CMD_BD_BOARD_INFO;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ cardem_dt_txdata, msg_type = SIMTRACE_MSGT_DT_CEMU_TX_DATA;</span><br><span style="color: hsl(120, 100%, 40%);">+ cardem_dt_setatr, msg_type = SIMTRACE_MSGT_DT_CEMU_SET_ATR;</span><br><span style="color: hsl(120, 100%, 40%);">+ /* FIXME: stats */</span><br><span style="color: hsl(120, 100%, 40%);">+ cardem_bd_status, msg_type = SIMTRACE_MSGT_BD_CEMU_STATUS;</span><br><span style="color: hsl(120, 100%, 40%);">+ cardem_dt_cardinsert, msg_type = SIMTRACE_MSGT_DT_CEMU_CARDINSERT;</span><br><span style="color: hsl(120, 100%, 40%);">+ cardem_do_rxdata, msg_type = SIMTRACE_MSGT_DO_CEMU_RX_DATA;</span><br><span style="color: hsl(120, 100%, 40%);">+ cardem_do_pts, msg_type = SIMTRACE_MSGT_DO_CEMU_PTS;</span><br><span style="color: hsl(120, 100%, 40%);">+ cardem_bd_config, msg_type = SIMTRACE_MSGT_BD_CEMU_CONFIG;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ modem_dt_reset, msg_type = SIMTRACE_MSGT_DT_MODEM_RESET;</span><br><span style="color: hsl(120, 100%, 40%);">+ modem_dt_sim_select, msg_type = SIMTRACE_MSGT_DT_MODEM_SIM_SELECT;</span><br><span style="color: hsl(120, 100%, 40%);">+ modem_bd_status, msg_type = SIMTRACE_MSGT_BD_MODEM_STATUS;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ sniff_do_change, msg_type = SIMTRACE_MSGT_SNIFF_CHANGE;</span><br><span style="color: hsl(120, 100%, 40%);">+ sniff_do_fidi, msg_type = SIMTRACE_MSGT_SNIFF_FIDI;</span><br><span style="color: hsl(120, 100%, 40%);">+ sniff_do_atr, msg_type = SIMTRACE_MSGT_SNIFF_ATR;</span><br><span style="color: hsl(120, 100%, 40%);">+ sniff_do_pps, msg_type = SIMTRACE_MSGT_SNIFF_PPS;</span><br><span style="color: hsl(120, 100%, 40%);">+ sniff_do_tpdu, msg_type = SIMTRACE_MSGT_SNIFF_TPDU;</span><br><span style="color: hsl(120, 100%, 40%);">+ other, OTHERWISE;</span><br><span style="color: hsl(120, 100%, 40%);">+ )"</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+external function enc_SIMTRACE_PDU(in SIMTRACE_PDU pdu) return octetstring</span><br><span style="color: hsl(120, 100%, 40%);">+with { extension "prototype(convert)" extension "encode(RAW)" };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+external function dec_SIMTRACE_PDU(in octetstring stream) return SIMTRACE_PDU</span><br><span style="color: hsl(120, 100%, 40%);">+with { extension "prototype(convert)" extension "decode(RAW)" };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type union SIMTRACE_Payload {</span><br><span style="color: hsl(120, 100%, 40%);">+ Generic_DO_Error gen_do_error,</span><br><span style="color: hsl(120, 100%, 40%);">+ Generic_BD_BoardInfo gen_bd_board_info,</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ CardEmu_DT_TxData cardem_dt_txdata,</span><br><span style="color: hsl(120, 100%, 40%);">+ CardEmu_DT_SetAtr cardem_dt_setatr,</span><br><span style="color: hsl(120, 100%, 40%);">+ CardEmu_BD_Status cardem_bd_status,</span><br><span style="color: hsl(120, 100%, 40%);">+ Cardemu_DT_CardInsert cardem_dt_cardinsert,</span><br><span style="color: hsl(120, 100%, 40%);">+ CardEmu_DO_RxData cardem_do_rxdata,</span><br><span style="color: hsl(120, 100%, 40%);">+ CardEmu_DO_Pts cardem_do_pts,</span><br><span style="color: hsl(120, 100%, 40%);">+ CardEmu_BD_Config cardem_bd_config,</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ Modem_DT_Reset modem_dt_reset,</span><br><span style="color: hsl(120, 100%, 40%);">+ Modem_DT_SimSelect modem_dt_sim_select,</span><br><span style="color: hsl(120, 100%, 40%);">+ Modem_BD_Status modem_bd_status,</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ Sniff_DO_Change sniff_do_change,</span><br><span style="color: hsl(120, 100%, 40%);">+ Sniff_DO_FiDi sniff_do_fidi,</span><br><span style="color: hsl(120, 100%, 40%);">+ Sniff_DO_Data sniff_do_atr,</span><br><span style="color: hsl(120, 100%, 40%);">+ Sniff_DO_Data sniff_do_pps,</span><br><span style="color: hsl(120, 100%, 40%);">+ Sniff_DO_Data sniff_do_tpdu,</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ octetstring other</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/***********************************************************************</span><br><span style="color: hsl(120, 100%, 40%);">+ * GENERIC</span><br><span style="color: hsl(120, 100%, 40%);">+ ***********************************************************************/</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* SIMTRACE_CMD_DO_ERROR */</span><br><span style="color: hsl(120, 100%, 40%);">+type record Generic_DO_Error {</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t severity,</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t subsystem,</span><br><span style="color: hsl(120, 100%, 40%);">+ u16le_t code,</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t msg_len,</span><br><span style="color: hsl(120, 100%, 40%);">+ charstring msg</span><br><span style="color: hsl(120, 100%, 40%);">+} with {</span><br><span style="color: hsl(120, 100%, 40%);">+ variant (msg_len) "LENGTHTO(msg)"</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type record Generic_Capability_Vendor {</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Can erase a peer SAM3 controller */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean sysmo_qmod_erase_peer,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Can read/write an attached EEPROM */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean sysmo_qmod_rw_eeprom,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* can reset an attached USB hub */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean sysmo_qmod_reset_hub</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type record Generic_Capability {</span><br><span style="color: hsl(120, 100%, 40%);">+ /* compatible with 5V SIM card interface */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_volt_5v,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* compatible with 3V SIM card interface */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_volt_3v,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* compatible with 1.8V SIM card interface */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_volt_1v8,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_led_1,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_led_2,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Has Single-Pole Dual-Throw (local/remote SIM) */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_spdt,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Has Bus-Switch (trace / MITM) */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_bus_switch,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Can read VSIM via ADC */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_vsim_adc,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Can read temperature via ADC */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_temp_adc,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Supports DFU for firmware update */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_dfu,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Supports Ctrl EP command for erasing flash / return to SAM-BA */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_erase_flash,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Can read the status of card insert contact */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_read_card_det,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Can control the status of a simulated card insert */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_assert_card_det,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* Can toggle the hardware reset of an attached modem */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean cap_assert_modem_rst</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type record Board_Info_Hardware {</span><br><span style="color: hsl(120, 100%, 40%);">+ CHAR32 manufacturer,</span><br><span style="color: hsl(120, 100%, 40%);">+ CHAR32 model,</span><br><span style="color: hsl(120, 100%, 40%);">+ CHAR32 version</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type record Board_Info_Software {</span><br><span style="color: hsl(120, 100%, 40%);">+ CHAR32 provider,</span><br><span style="color: hsl(120, 100%, 40%);">+ CHAR32 name,</span><br><span style="color: hsl(120, 100%, 40%);">+ CHAR32 version,</span><br><span style="color: hsl(120, 100%, 40%);">+ CHAR32 buildhost,</span><br><span style="color: hsl(120, 100%, 40%);">+ OCT4 crc</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type record Generic_BD_BoardInfo {</span><br><span style="color: hsl(120, 100%, 40%);">+ Board_Info_Hardware hardware,</span><br><span style="color: hsl(120, 100%, 40%);">+ Board_Info_Software software,</span><br><span style="color: hsl(120, 100%, 40%);">+ u32le_t max_baud_rate,</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t cap_generic_bytes,</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t cap_vendor_bytes,</span><br><span style="color: hsl(120, 100%, 40%);">+ Generic_Capability cap_generic optional,</span><br><span style="color: hsl(120, 100%, 40%);">+ Generic_Capability_Vendor cap_vendor optional</span><br><span style="color: hsl(120, 100%, 40%);">+} with {</span><br><span style="color: hsl(120, 100%, 40%);">+ variant (cap_generic_bytes) "LENGTHTO(cap_generic)"</span><br><span style="color: hsl(120, 100%, 40%);">+ variant (cap_vendor_bytes) "LENGTHTO(cap_vendor)"</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/***********************************************************************</span><br><span style="color: hsl(120, 100%, 40%);">+ * CARD EMULATOR / FORWARDER</span><br><span style="color: hsl(120, 100%, 40%);">+ ***********************************************************************/</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* CEMU_USB_MSGT_DT_CARDINSERT */</span><br><span style="color: hsl(120, 100%, 40%);">+type record Cardemu_DT_CardInsert {</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t card_insert</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* CEMU_USB_MSGT_DT_SET_ATR */</span><br><span style="color: hsl(120, 100%, 40%);">+type record CardEmu_DT_SetAtr {</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t atr_len,</span><br><span style="color: hsl(120, 100%, 40%);">+ octetstring atr</span><br><span style="color: hsl(120, 100%, 40%);">+} with {</span><br><span style="color: hsl(120, 100%, 40%);">+ variant (atr_len) "LENGTHTO(atr)"</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type record CardEmu_DataFlags {</span><br><span style="color: hsl(120, 100%, 40%);">+ /* First octet here is last octet of little-endian encoded uint32_t */</span><br><span style="color: hsl(120, 100%, 40%);">+ BIT4 reserved,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* indicates a PB is present and we should continue with RX */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean pb_and_rx,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* indicates a PB is present and we should continue with TX */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean pb_and_tx,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* indicates last part of transmission in this direction */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean final,</span><br><span style="color: hsl(120, 100%, 40%);">+ /* indicates a TPDU header is present in this message */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean tpdu_hdr,</span><br><span style="color: hsl(120, 100%, 40%);">+ BIT24 reserved2</span><br><span style="color: hsl(120, 100%, 40%);">+} with { variant "BITORDER(msb)" };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* CEMU_USB_MSGT_DT_TX_DATA */</span><br><span style="color: hsl(120, 100%, 40%);">+type record CardEmu_DT_TxData {</span><br><span style="color: hsl(120, 100%, 40%);">+ CardEmu_DataFlags flags,</span><br><span style="color: hsl(120, 100%, 40%);">+ u16le_t data_len,</span><br><span style="color: hsl(120, 100%, 40%);">+ octetstring data</span><br><span style="color: hsl(120, 100%, 40%);">+} with {</span><br><span style="color: hsl(120, 100%, 40%);">+ variant (data_len) "LENGTHTO(data)"</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* CEMU_USB_MSGT_DO_RX_DATA */</span><br><span style="color: hsl(120, 100%, 40%);">+type record CardEmu_DO_RxData {</span><br><span style="color: hsl(120, 100%, 40%);">+ CardEmu_DataFlags flags,</span><br><span style="color: hsl(120, 100%, 40%);">+ u16le_t data_len,</span><br><span style="color: hsl(120, 100%, 40%);">+ octetstring data</span><br><span style="color: hsl(120, 100%, 40%);">+} with {</span><br><span style="color: hsl(120, 100%, 40%);">+ variant (data_len) "LENGTHTO(data)"</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type record CardEmu_StatusFlags {</span><br><span style="color: hsl(120, 100%, 40%);">+ /* First octet here is last octet of little-endian encoded uint32_t */</span><br><span style="color: hsl(120, 100%, 40%);">+ BIT3 reserved,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean reset_active,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean card_insert,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean rcemu_active,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean clk_active,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean vcc_present,</span><br><span style="color: hsl(120, 100%, 40%);">+ BIT24 reserved2</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* CEMU_USB_MSGT_BD_STATUS */</span><br><span style="color: hsl(120, 100%, 40%);">+type record CardEmu_BD_Status {</span><br><span style="color: hsl(120, 100%, 40%);">+ CardEmu_StatusFlags flags,</span><br><span style="color: hsl(120, 100%, 40%);">+ u16le_t voltage_mv,</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t fi,</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t di,</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t wi,</span><br><span style="color: hsl(120, 100%, 40%);">+ u32le_t waiting_time</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* CEMU_USB_MSGT_DO_PTS */</span><br><span style="color: hsl(120, 100%, 40%);">+type record CardEmu_DO_Pts {</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t pts_len,</span><br><span style="color: hsl(120, 100%, 40%);">+ OCT6 req,</span><br><span style="color: hsl(120, 100%, 40%);">+ OCT6 resp</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type record CardEmu_FeatureFlags {</span><br><span style="color: hsl(120, 100%, 40%);">+ BIT7 reserved,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean status_irq,</span><br><span style="color: hsl(120, 100%, 40%);">+ BIT24 reserved2</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type record CardEmu_BD_Config {</span><br><span style="color: hsl(120, 100%, 40%);">+ CardEmu_FeatureFlags features</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/***********************************************************************</span><br><span style="color: hsl(120, 100%, 40%);">+ * MODEM CONTROL</span><br><span style="color: hsl(120, 100%, 40%);">+ ***********************************************************************/</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type enumerated ModemResetType {</span><br><span style="color: hsl(120, 100%, 40%);">+ MODEM_RESET_RELEASE (0),</span><br><span style="color: hsl(120, 100%, 40%);">+ MODEM_RESET_ASSERT (1),</span><br><span style="color: hsl(120, 100%, 40%);">+ MODEM_RESET_PULSE (2)</span><br><span style="color: hsl(120, 100%, 40%);">+} with { variant "FIELDLENGTH(8)" };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* SIMTRACE_MSGT_DT_MODEM_RESET */</span><br><span style="color: hsl(120, 100%, 40%);">+type record Modem_DT_Reset {</span><br><span style="color: hsl(120, 100%, 40%);">+ ModemResetType asserted,</span><br><span style="color: hsl(120, 100%, 40%);">+ u16le_t pulse_duration_msec</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type enumerated SimSelect {</span><br><span style="color: hsl(120, 100%, 40%);">+ SIM_SELECT_LOCAL (0),</span><br><span style="color: hsl(120, 100%, 40%);">+ SIM_SELECT_REMOTE (1)</span><br><span style="color: hsl(120, 100%, 40%);">+} with { variant "FIELDLENGTH(8)" };</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* SIMTRACE_MSGT_DT_MODEM_SIM_SELECT */</span><br><span style="color: hsl(120, 100%, 40%);">+type record Modem_DT_SimSelect {</span><br><span style="color: hsl(120, 100%, 40%);">+ SimSelect sim_select</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type record Modem_Status {</span><br><span style="color: hsl(120, 100%, 40%);">+ BIT6 reserved,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean card_inserted,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean wwan_led</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* SIMTRACE_MSGT_BD_MODEM_STATUS */</span><br><span style="color: hsl(120, 100%, 40%);">+type record Modem_BD_Status {</span><br><span style="color: hsl(120, 100%, 40%);">+ Modem_Status supported,</span><br><span style="color: hsl(120, 100%, 40%);">+ Modem_Status status,</span><br><span style="color: hsl(120, 100%, 40%);">+ Modem_Status changed</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/***********************************************************************</span><br><span style="color: hsl(120, 100%, 40%);">+ * SNIFF</span><br><span style="color: hsl(120, 100%, 40%);">+ ***********************************************************************/</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+type record Sniff_Flags {</span><br><span style="color: hsl(120, 100%, 40%);">+ /* First octet here is last octet of little-endian encoded uint32_t */</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean error_checksum,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean error_malformed,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean error_incomplete,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean timeout_wt,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean reset_deassert,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean reset_assert,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean card_eject,</span><br><span style="color: hsl(120, 100%, 40%);">+ boolean card_insert,</span><br><span style="color: hsl(120, 100%, 40%);">+ BIT24 reserved</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* SIMTRACE_MSGT_SNIFF_CHANGE */</span><br><span style="color: hsl(120, 100%, 40%);">+type record Sniff_DO_Change {</span><br><span style="color: hsl(120, 100%, 40%);">+ Sniff_Flags flags</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* SIMTRACE_MSGT_SNIFF_FIDI */</span><br><span style="color: hsl(120, 100%, 40%);">+type record Sniff_DO_FiDi {</span><br><span style="color: hsl(120, 100%, 40%);">+ uint8_t fidi</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+/* SIMTRACE_MSGT_SNIFF_ATR, PPS, TPDU */</span><br><span style="color: hsl(120, 100%, 40%);">+type record Sniff_DO_Data {</span><br><span style="color: hsl(120, 100%, 40%);">+ Sniff_Flags flags,</span><br><span style="color: hsl(120, 100%, 40%);">+ u16le_t data_len,</span><br><span style="color: hsl(120, 100%, 40%);">+ octetstring data</span><br><span style="color: hsl(120, 100%, 40%);">+} with {</span><br><span style="color: hsl(120, 100%, 40%);">+ variant (data_len) "LENGTHTO(data)"</span><br><span style="color: hsl(120, 100%, 40%);">+};</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+} with { encode "RAW"; variant "FIELDORDER(msb)" };</span><br><span>diff --git a/simtrace/gen_links.sh b/simtrace/gen_links.sh</span><br><span>new file mode 100755</span><br><span>index 0000000..72787b9</span><br><span>--- /dev/null</span><br><span>+++ b/simtrace/gen_links.sh</span><br><span>@@ -0,0 +1,20 @@</span><br><span style="color: hsl(120, 100%, 40%);">+#!/bin/bash</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+BASEDIR=../deps</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+. ../gen_links.sh.inc</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+#DIR=$BASEDIR/titan.Libraries.TCCUsefulFunctions/src</span><br><span style="color: hsl(120, 100%, 40%);">+#FILES="TCCInterface_Functions.ttcn TCCConversion_Functions.ttcn TCCConversion.cc TCCInterface.cc TCCInterface_ip.h"</span><br><span style="color: hsl(120, 100%, 40%);">+#gen_links $DIR $FILES</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+DIR=$BASEDIR/titan.TestPorts.USB/src</span><br><span style="color: hsl(120, 100%, 40%);">+FILES="USB_PT.cc USB_PT.hh USB_PortType.ttcn USB_PortTypes.ttcn USB_Templates.ttcn USB_Types.ttcn USB_Component.ttcn "</span><br><span style="color: hsl(120, 100%, 40%);">+gen_links $DIR $FILES</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+DIR=../library</span><br><span style="color: hsl(120, 100%, 40%);">+FILES="Misc_Helpers.ttcn General_Types.ttcn Osmocom_Types.ttcn "</span><br><span style="color: hsl(120, 100%, 40%);">+FILES+="Native_Functions.ttcn Native_FunctionDefs.cc "</span><br><span style="color: hsl(120, 100%, 40%);">+gen_links $DIR $FILES</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+ignore_pp_results</span><br><span>diff --git a/simtrace/regen_makefile.sh b/simtrace/regen_makefile.sh</span><br><span>new file mode 100755</span><br><span>index 0000000..3f2d472</span><br><span>--- /dev/null</span><br><span>+++ b/simtrace/regen_makefile.sh</span><br><span>@@ -0,0 +1,9 @@</span><br><span style="color: hsl(120, 100%, 40%);">+#!/bin/sh</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+FILES="*.ttcn USB_PT.cc Native_FunctionDefs.cc "</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+../regen-makefile.sh SIMTRACE_Tests.ttcn $FILES</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span style="color: hsl(120, 100%, 40%);">+#sed -i -e 's/^LINUX_LIBS = -lxml2/LINUX_LIBS = -lxml2 -lusb/' Makefile</span><br><span style="color: hsl(120, 100%, 40%);">+sed -i -e '/^LINUX_LIBS/ s/$/ `pkg-config --libs libusb-1.0`/' Makefile</span><br><span style="color: hsl(120, 100%, 40%);">+sed -i -e '/^CPPFLAGS/ s/$/ `pkg-config --cflags libusb-1.0`/' Makefile</span><br><span></span><br></pre><p>To view, visit <a href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/17676">change 17676</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://gerrit.osmocom.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/17676"/><meta itemprop="name" content="View Change"/></div></div>
<div style="display:none"> Gerrit-Project: osmo-ttcn3-hacks </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-Change-Id: If9fa66b6c5fbddd742ff61fa2c1345736d07accd </div>
<div style="display:none"> Gerrit-Change-Number: 17676 </div>
<div style="display:none"> Gerrit-PatchSet: 3 </div>
<div style="display:none"> Gerrit-Owner: laforge <laforge@osmocom.org> </div>
<div style="display:none"> Gerrit-Reviewer: Jenkins Builder </div>
<div style="display:none"> Gerrit-Reviewer: laforge <laforge@osmocom.org> </div>
<div style="display:none"> Gerrit-MessageType: merged </div>