1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
|
/* GPRS RLC/MAC Control Messages as per 3GPP TS 44.060 manually transcribed from the CSN.1 syntax, as no CSN.1
* tool for Eclipse TITAN could be found. Implements only the minimum necessary messages for Osmocom teseting
* purposes. */
/* (C) 2017-2018 Harald Welte <laforge@gnumonks.org>
* contributions by sysmocom - s.f.m.c. GmbH
* All rights reserved.
*
* Released under the terms of GNU General Public License, Version 2 or
* (at your option) any later version.
*
* SPDX-License-Identifier: GPL-2.0-or-later
*/
module RLCMAC_CSN1_Templates {
import from General_Types all;
import from Osmocom_Types all;
import from GSM_Types all;
import from MobileL3_GMM_SM_Types all;
import from RLCMAC_CSN1_Types all;
template (value) RlcmacUlCtrlMsg ts_RlcMacUlCtrl_PKT_CTRL_ACK(GprsTlli tlli,
CtrlAck ack := MS_RCVD_TWO_RLC_SAME_RTI_DIFF_RBSN) := {
msg_type := PACKET_CONTROL_ACK,
u := {
ctrl_ack := {
tlli := tlli,
ctrl_ack := ack
}
}
}
const ILevel iNone := {
presence := '0'B,
i_level := omit
}
const ChannelQualityReport c_ChQualRep_default := {
c_value := 0,
rxqual := 0,
sign_var := 0,
i_levels := { iNone, iNone, iNone, iNone, iNone, iNone, iNone, iNone }
}
template (value) RlcmacUlCtrlMsg ts_RlcMacUlCtrl_PKT_DL_ACK(uint5_t dl_tfi,
AckNackDescription andesc,
ChannelQualityReport qual_rep := c_ChQualRep_default) := {
msg_type := PACKET_DL_ACK_NACK,
u := {
dl_ack_nack := {
dl_tfi := dl_tfi,
ack_nack_desc := andesc,
chreq_desc_presence := '0'B,
chreq_desc := omit,
ch_qual_rep := qual_rep
}
}
}
private function f_presence_bit_MSRadioAccessCapabilityV(template (omit) MSRadioAccessCapabilityV ms_rac) return BIT1 {
if (istemplatekind(ms_rac, "omit")) {
return '0'B;
}
return '1'B;
}
private function f_template_MSRadioAccessCapabilityV_to_MSRadioAccCap2(template (omit) MSRadioAccessCapabilityV ms_rac) return template (omit) MSRadioAccCap2 {
var template (omit) MSRadioAccCap2 ms_rac2 := omit;
if (istemplatekind(ms_rac, "omit")) {
return ms_rac2;
}
ms_rac2 := { msRadioAccessCapabilityV := ms_rac };
return ms_rac2;
}
const ChannelReqDescription c_ChReqDesc_default := {
peak_tput_class := 0,
priority := 0,
rlc_mode := RLC_MODE_ACKNOWLEDGED,
llc_pdu_type := LLC_PDU_IS_NOT_SACK_OR_ACK,
RlcOctetCount := 0
}
/* TS 44.060 sec 11.2.16 */
template (value) RlcmacUlCtrlMsg ts_RlcMacUlCtrl_PKT_RES_REQ(GprsTlli tlli,
template (omit) MSRadioAccessCapabilityV ms_rac,
ChannelReqDescription ch_req_desc := c_ChReqDesc_default,
RlcAccessType acc_type := RLC_ACC_TYPE_TWO_PHASE)
:= {
msg_type := PACKET_RESOURCE_REQUEST,
u := {
resource_req := {
acc_type_presence := '1'B,
acc_type := acc_type,
id_type := '1'B,
id := { tlli := tlli },
ms_rac2_presence := f_presence_bit_MSRadioAccessCapabilityV(ms_rac),
ms_rac2 := f_template_MSRadioAccessCapabilityV_to_MSRadioAccCap2(ms_rac),
ch_req_desc := ch_req_desc,
change_mark_presence := '0'B,
change_mark := omit,
C_val := '000000'B,
sign_var_presence := '0'B,
sign_var := omit,
I_levels := {
iNone, iNone, iNone, iNone,
iNone, iNone, iNone, iNone
}
}
}
};
private function f_presence_bit_tfi(template uint5_t tfi) return BIT1 {
if (istemplatekind(tfi, "omit")) {
return '0'B;
}
return '1'B;
}
template DynamicAllocation tr_DynamicAllocation(template uint5_t tfi:= ?) := {
extd_dyn_alloc := ?,
p0_present := ?,
p0 := *,
pr_mode := *,
usf_granularity := ?,
ul_tfi_ass_present := f_presence_bit_tfi(tfi),
ul_tfi_assignment := tfi,
reserved := '0'B,
tbf_starting_time_present := ?,
tbf_starting_time := *,
ts_allocation := ?
};
template PktUlAssGprs tr_PktUlAssGprsDynamic(template DynamicAllocation dyn_alloc := ?) := {
ch_coding_cmd := ?,
tlli_block_chan_coding := ?,
pkt_ta := ?,
freq_par_present := ?,
freq_par := *,
alloc_present := '01'B,
dyn_block_alloc := dyn_alloc,
sgl_block_alloc := omit
};
template PktUlAssEgprs tr_PktUlAssEgprsDynamic(template DynamicAllocation dyn_alloc := ?) := {
dual_carrier := '00'B,
tlli_present := ?,
tlli := *,
compact_reduced_ma_present := ?,
compact_reduced_ma := *,
chan_coding_cmd := ?,
resegment := ?,
window_size := ?,
ats_present := ?,
ats := *, /* ? */
arac_retrans_req := ?,
tlli_block_chan_coding := ?,
bep_period2_present := ?,
bep_period2 := *,
pkt_ta := ?,
pkt_ext_ta_present := ?,
pkt_ext_ta := *,
freq_par_present := ?,
freq_par := *,
alloc_present := ?,
dyn_block_alloc := dyn_alloc,
multi_block_alloc := omit
};
template AckNackDescription tr_AckNackDescription(template BIT1 final_ack := ?) := {
final_ack := final_ack,
starting_seq_nr := ?,
receive_block_bitmap := ?
};
template UlAckNackGprsAdditionsRel99 tr_UlAckNackGprsAdditionsRel99(template boolean tbf_est := ?) := {
ext_pkt_ta_present := ?,
ext_pkt_ta := *,
tbf_est := tbf_est
};
template UlAckNackGprs tr_UlAckNackGprs(template GprsTlli tlli := *,
template AckNackDescription acknack_desc := ?,
template UlAckNackGprsAdditionsRel99 rel99 := *) := {
ch_coding_cmd := ?,
ack_nack_desc := acknack_desc,
cont_res_tlli_present := ?,
cont_res_tlli := tlli,
pkt_ta_present := ?,
pkt_ta := *,
pwr_ctrl_present := ?,
pwr_ctrl := *,
extension_bits_present := ?,
extension_bits := *,
not_used := '0'B,
rel99_present := ?,
rel99 := rel99
};
template UlAckNackEgprs tr_UlAckNackEgprs(template GprsTlli tlli := *) := {
msg_excape := '00'B,
ch_coding_cmd := ?,
resegment := ?,
preemptive_tx := ?,
prr_retrans_req := ?,
arac_retrans_req := ?,
cont_res_tlli_present := ?,
cont_res_tlli := tlli,
tbf_est := ?,
pkt_ta_present := ?,
pkt_ta := *,
pkt_ext_ta_present := ?,
pkt_ext_ta := *,
pwr_ctrl_present := ?,
pwr_ctrl := *
};
} with { encode "RAW"; variant "FIELDORDER(msb)" variant "BYTEORDER(last)" };
|
