Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 1 | module GSUP_Types { |
| 2 | |
Harald Welte | 35bb716 | 2018-01-03 21:07:52 +0100 | [diff] [blame] | 3 | /* GSUP_Types, defining abstract TTCN-3 data types for the GSUP protocol. |
| 4 | * |
| 5 | * GSUP is a non-standard protocol used between OsmoMSC/OsmoSGSN and OsmoHLR |
| 6 | * in order to replace the complex TCAP/MAP protocol. |
| 7 | * |
| 8 | * (C) 2017 by Harald Welte <laforge@gnumonks.org> |
| 9 | * All rights reserved. |
| 10 | * |
| 11 | * Released under the terms of GNU General Public License, Version 2 or |
| 12 | * (at your option) any later version. |
| 13 | */ |
| 14 | |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 15 | import from General_Types all; |
| 16 | import from Osmocom_Types all; |
| 17 | |
| 18 | type enumerated GSUP_IEI { |
| 19 | OSMO_GSUP_IMSI_IE ('01'O), |
| 20 | OSMO_GSUP_CAUSE_IE ('02'O), |
| 21 | OSMO_GSUP_AUTH_TUPLE_IE ('03'O), |
| 22 | OSMO_GSUP_PDP_INFO_COMPL_IE ('04'O), |
| 23 | OSMO_GSUP_PDP_INFO_IE ('05'O), |
| 24 | OSMO_GSUP_CANCEL_TYPE_IE ('06'O), |
| 25 | OSMO_GSUP_FREEZE_PTMSI_IE ('07'O), |
| 26 | OSMO_GSUP_MSISDN_IE ('08'O), |
| 27 | OSMO_GSUP_HLR_NUMBER_IE ('09'O), |
| 28 | OSMO_GSUP_PDP_CONTEXT_ID_IE ('10'O), |
| 29 | OSMO_GSUP_PDP_TYPE_IE ('11'O), |
| 30 | OSMO_GSUP_ACCESS_POINT_NAME_IE ('12'O), |
| 31 | OSMO_GSUP_PDP_QOS_IE ('13'O), |
| 32 | OSMO_GSUP_CHARG_CHAR_IE ('14'O), |
| 33 | |
| 34 | OSMO_GSUP_RAND_IE ('20'O), |
| 35 | OSMO_GSUP_SRES_IE ('21'O), |
| 36 | OSMO_GSUP_KC_IE ('22'O), |
| 37 | OSMO_GSUP_IK_IE ('23'O), |
| 38 | OSMO_GSUP_CK_IE ('24'O), |
| 39 | OSMO_GSUP_AUTN_IE ('25'O), |
| 40 | OSMO_GSUP_AUTS_IE ('26'O), |
| 41 | OSMO_GSUP_RES_IE ('27'O), |
| 42 | OSMO_GSUP_CN_DOMAIN_IE ('28'O) |
| 43 | } with { variant "FIELDLENGTH(8)" }; |
| 44 | |
| 45 | type enumerated GSUP_MessageType { |
| 46 | OSMO_GSUP_MSGT_UPDATE_LOCATION_REQUEST ('00000100'B), |
| 47 | OSMO_GSUP_MSGT_UPDATE_LOCATION_ERROR ('00000101'B), |
| 48 | OSMO_GSUP_MSGT_UPDATE_LOCATION_RESULT ('00000110'B), |
| 49 | |
| 50 | OSMO_GSUP_MSGT_SEND_AUTH_INFO_REQUEST ('00001000'B), |
| 51 | OSMO_GSUP_MSGT_SEND_AUTH_INFO_ERROR ('00001001'B), |
| 52 | OSMO_GSUP_MSGT_SEND_AUTH_INFO_RESULT ('00001010'B), |
| 53 | |
| 54 | OSMO_GSUP_MSGT_AUTH_FAIL_REPORT ('00001011'B), |
| 55 | |
| 56 | OSMO_GSUP_MSGT_PURGE_MS_REQUEST ('00001100'B), |
| 57 | OSMO_GSUP_MSGT_PURGE_MS_ERROR ('00001101'B), |
| 58 | OSMO_GSUP_MSGT_PURGE_MS_RESULT ('00001110'B), |
| 59 | |
| 60 | OSMO_GSUP_MSGT_INSERT_DATA_REQUEST ('00010000'B), |
| 61 | OSMO_GSUP_MSGT_INSERT_DATA_ERROR ('00010001'B), |
| 62 | OSMO_GSUP_MSGT_INSERT_DATA_RESULT ('00010010'B), |
| 63 | |
| 64 | OSMO_GSUP_MSGT_DELETE_DATA_REQUEST ('00010100'B), |
| 65 | OSMO_GSUP_MSGT_DELETE_DATA_ERROR ('00010101'B), |
| 66 | OSMO_GSUP_MSGT_DELETE_DATA_RESULT ('00010110'B), |
| 67 | |
| 68 | OSMO_GSUP_MSGT_LOCATION_CANCEL_REQUEST ('00011100'B), |
| 69 | OSMO_GSUP_MSGT_LOCATION_CANCEL_ERROR ('00011101'B), |
| 70 | OSMO_GSUP_MSGT_LOCATION_CANCEL_RESULT ('00011110'B) |
| 71 | } with { variant "FIELDLENGTH(8)" }; |
| 72 | |
| 73 | type enumerated GSUP_CancelType { |
| 74 | OSMO_GSUP_CANCEL_TYPE_UPDATE (1), |
| 75 | OSMO_GSUP_CANCEL_TYPE_WITHDRAW (2) |
| 76 | } with { variant "FIELDLENGTH(8)" }; |
| 77 | |
| 78 | type enumerated GSUP_CnDomain { |
| 79 | OSMO_GSUP_CN_DOMAIN_PS (1), |
| 80 | OSMO_GSUP_CN_DOMAIN_CS (2) |
| 81 | } with { variant "FIELDLENGTH(8)" }; |
| 82 | |
Harald Welte | 3f95be8 | 2018-01-27 00:48:13 +0100 | [diff] [blame] | 83 | type record GSUP_MSISDN { |
| 84 | uint8_t len, |
| 85 | hexstring digits optional |
| 86 | } with { variant (len) "LENGTHTO(digits)" }; |
| 87 | |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 88 | type record GSUP_IE { |
| 89 | GSUP_IEI tag, |
| 90 | uint8_t len, |
| 91 | GSUP_IeValue val |
| 92 | } with { variant (len) "LENGTHTO(val)" |
| 93 | variant (val) "CROSSTAG(imsi, tag = OSMO_GSUP_IMSI_IE; |
| 94 | cause, tag = OSMO_GSUP_CAUSE_IE; |
| 95 | cancel_type, tag = OSMO_GSUP_CANCEL_TYPE_IE; |
Harald Welte | 77a8eba | 2018-01-22 21:22:32 +0100 | [diff] [blame] | 96 | auth_tuple, tag = OSMO_GSUP_AUTH_TUPLE_IE; |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 97 | auts, tag = OSMO_GSUP_AUTS_IE; |
| 98 | rand, tag = OSMO_GSUP_RAND_IE; |
Harald Welte | 77a8eba | 2018-01-22 21:22:32 +0100 | [diff] [blame] | 99 | sres, tag = OSMO_GSUP_SRES_IE; |
| 100 | kc, tag = OSMO_GSUP_KC_IE; |
| 101 | ik, tag = OSMO_GSUP_IK_IE; |
| 102 | ck, tag = OSMO_GSUP_CK_IE; |
| 103 | autn, tag = OSMO_GSUP_AUTN_IE; |
| 104 | res, tag = OSMO_GSUP_RES_IE; |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 105 | msisdn, tag = OSMO_GSUP_MSISDN_IE; |
| 106 | hlr_number, tag = OSMO_GSUP_HLR_NUMBER_IE; |
| 107 | cn_domain, tag = OSMO_GSUP_CN_DOMAIN_IE; |
Harald Welte | eded9ad | 2018-02-17 20:57:34 +0100 | [diff] [blame] | 108 | pdp_info, tag = OSMO_GSUP_PDP_INFO_IE; |
| 109 | apn, tag = OSMO_GSUP_ACCESS_POINT_NAME_IE; |
| 110 | pdp_qos, tag = OSMO_GSUP_PDP_QOS_IE; |
| 111 | pdp_type, tag = OSMO_GSUP_PDP_TYPE_IE; |
| 112 | charg_char, tag = OSMO_GSUP_CHARG_CHAR_IE; |
| 113 | )" |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 114 | }; |
| 115 | |
| 116 | type record of GSUP_IE GSUP_IEs; |
| 117 | |
| 118 | type union GSUP_IeValue { |
| 119 | hexstring imsi, |
| 120 | integer cause, |
| 121 | GSUP_CancelType cancel_type, |
| 122 | //boolean pdp_info_compl, |
| 123 | //boolean freeze_ptmsi, |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 124 | GSUP_IEs auth_tuple, |
| 125 | octetstring auts, |
| 126 | octetstring rand, |
Harald Welte | 77a8eba | 2018-01-22 21:22:32 +0100 | [diff] [blame] | 127 | octetstring sres, |
| 128 | octetstring kc, |
| 129 | octetstring ik, |
| 130 | octetstring ck, |
| 131 | octetstring autn, |
| 132 | octetstring res, |
Harald Welte | 3f95be8 | 2018-01-27 00:48:13 +0100 | [diff] [blame] | 133 | GSUP_MSISDN msisdn, |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 134 | octetstring hlr_number, |
| 135 | GSUP_CnDomain cn_domain, |
Harald Welte | eded9ad | 2018-02-17 20:57:34 +0100 | [diff] [blame] | 136 | /* PDP context + nested IEs */ |
| 137 | GSUP_IEs pdp_info, |
| 138 | octetstring apn, |
| 139 | octetstring pdp_qos, |
| 140 | OCT2 pdp_type, |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 141 | octetstring charg_char |
| 142 | }; |
| 143 | |
| 144 | type record GSUP_PDU { |
| 145 | GSUP_MessageType msg_type, |
| 146 | GSUP_IEs ies |
| 147 | }; |
| 148 | |
| 149 | external function enc_GSUP_PDU(in GSUP_PDU msg) return octetstring |
| 150 | with { extension "prototype(convert) encode(RAW)" }; |
| 151 | |
| 152 | external function dec_GSUP_PDU(in octetstring msg) return GSUP_PDU |
| 153 | with { extension "prototype(convert) decode(RAW)" }; |
| 154 | |
Harald Welte | 2f562b1 | 2018-01-24 20:52:38 +0100 | [diff] [blame] | 155 | function f_gsup_postprocess_decoded(inout GSUP_PDU gsup) { |
| 156 | if (gsup.ies[0].tag == OSMO_GSUP_IMSI_IE) { |
| 157 | /* if last digit is 'F', then there's an odd number of digits and we must strip the F */ |
| 158 | var integer num_digits := lengthof(gsup.ies[0].val.imsi); |
| 159 | if (gsup.ies[0].val.imsi[num_digits-1] == 'F'H) { |
| 160 | gsup.ies[0].val.imsi := substr(gsup.ies[0].val.imsi, 0, num_digits-1); |
| 161 | } |
| 162 | } |
| 163 | } |
| 164 | |
| 165 | function f_gsup_preprocess_encoded(inout GSUP_PDU gsup) { |
| 166 | if (ischosen(gsup.ies[0].val.imsi)) { |
| 167 | /* if number of digits is odd, add a 'F' as padding at the end */ |
| 168 | var integer num_digits := lengthof(gsup.ies[0].val.imsi); |
| 169 | if (num_digits rem 2 == 1) { |
| 170 | gsup.ies[0].val.imsi := gsup.ies[0].val.imsi & 'F'H; |
| 171 | } |
| 172 | } |
| 173 | } |
| 174 | |
Harald Welte | 3f95be8 | 2018-01-27 00:48:13 +0100 | [diff] [blame] | 175 | template (value) GSUP_MSISDN ts_GSUP_MSISDN(hexstring digits, |
| 176 | BIT3 ton := '000'B, |
| 177 | BIT4 npi := '0000'B) := { |
| 178 | len := 0, /* overwritten */ |
| 179 | /* numberingPlanIdentification := npi, |
| 180 | typeOfNumber := ton, |
| 181 | ext1 := '0'B, */ |
| 182 | digits := digits |
| 183 | } |
| 184 | |
| 185 | template GSUP_MSISDN tr_GSUP_MSISDN(template hexstring digits, |
| 186 | template BIT3 ton := ?, |
| 187 | template BIT4 npi := ?) := { |
| 188 | len := ?, |
| 189 | /* numberingPlanIdentification := npi, |
| 190 | typeOfNumber := ton, |
| 191 | ext1 := '0'B, */ |
| 192 | digits := digits |
| 193 | } |
| 194 | |
| 195 | |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 196 | |
Harald Welte | 77a8eba | 2018-01-22 21:22:32 +0100 | [diff] [blame] | 197 | template GSUP_IE ts_GSUP_IE_AuthTuple2G(octetstring rand, octetstring sres, |
| 198 | octetstring kc) := { |
| 199 | tag := OSMO_GSUP_AUTH_TUPLE_IE, |
| 200 | len := 0, /* overwritten */ |
| 201 | val := { |
| 202 | auth_tuple := { |
| 203 | valueof(ts_GSUP_IE_RAND(rand)), |
| 204 | valueof(ts_GSUP_IE_SRES(sres)), |
| 205 | valueof(ts_GSUP_IE_Kc(kc)) |
| 206 | } |
| 207 | } |
| 208 | } |
| 209 | |
| 210 | template GSUP_IE ts_GSUP_IE_AuthTuple2G3G(octetstring rand, octetstring sres, |
| 211 | octetstring kc, octetstring ik, |
| 212 | octetstring ck, octetstring autn, |
| 213 | octetstring res) := { |
| 214 | tag := OSMO_GSUP_AUTH_TUPLE_IE, |
| 215 | len := 0, /* overwritten */ |
| 216 | val := { |
| 217 | auth_tuple := { |
| 218 | valueof(ts_GSUP_IE_RAND(rand)), |
| 219 | valueof(ts_GSUP_IE_SRES(sres)), |
| 220 | valueof(ts_GSUP_IE_Kc(kc)), |
| 221 | valueof(ts_GSUP_IE_IK(ik)), |
| 222 | valueof(ts_GSUP_IE_CK(ck)), |
| 223 | valueof(ts_GSUP_IE_AUTN(autn)), |
| 224 | valueof(ts_GSUP_IE_RES(res)) |
| 225 | } |
| 226 | } |
| 227 | } |
| 228 | |
Harald Welte | eded9ad | 2018-02-17 20:57:34 +0100 | [diff] [blame] | 229 | template GSUP_IE ts_GSUP_IE_PdpInfo(octetstring apn, octetstring pdp_type, octetstring pdp_qos) := { |
| 230 | tag := OSMO_GSUP_PDP_INFO_IE, |
| 231 | len := 0, /* overwritten */ |
| 232 | val := { |
| 233 | pdp_info := { |
| 234 | valueof(ts_GSUP_IE_APN(apn)), |
| 235 | valueof(ts_GSUP_IE_PDP_TYPE(pdp_type)), |
| 236 | valueof(ts_GSUP_IE_PDP_QOS(pdp_qos)) |
| 237 | } |
| 238 | } |
| 239 | } |
| 240 | |
| 241 | template (value) GSUP_IE ts_GSUP_IE_PDP_TYPE(OCT2 pdp_type) := { |
| 242 | tag := OSMO_GSUP_PDP_TYPE_IE, |
| 243 | len := 0, |
| 244 | val := { |
| 245 | pdp_type := pdp_type |
| 246 | } |
| 247 | } |
| 248 | |
| 249 | template (value) GSUP_IE ts_GSUP_IE_PDP_QOS(octetstring pdp_qos) := { |
| 250 | tag := OSMO_GSUP_PDP_QOS_IE, |
| 251 | len := 0, |
| 252 | val := { |
| 253 | pdp_qos := pdp_qos |
| 254 | } |
| 255 | } |
| 256 | |
| 257 | |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 258 | template GSUP_PDU tr_GSUP(template GSUP_MessageType msgt := ?, template GSUP_IEs ies := *) := { |
| 259 | msg_type := msgt, |
| 260 | ies := ies |
| 261 | } |
| 262 | |
Harald Welte | 8a1dd53 | 2018-01-27 15:38:18 +0100 | [diff] [blame] | 263 | template GSUP_PDU tr_GSUP_IMSI(template GSUP_MessageType msgt := ?, template hexstring imsi) := { |
| 264 | msg_type := msgt, |
| 265 | ies := { tr_GSUP_IE_IMSI(imsi), * } |
| 266 | } |
| 267 | |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 268 | template GSUP_PDU ts_GSUP(GSUP_MessageType msgt, GSUP_IEs ies := {}) := { |
| 269 | msg_type := msgt, |
| 270 | ies := ies |
| 271 | } |
| 272 | |
Harald Welte | 6aa04e3 | 2018-01-27 15:35:19 +0100 | [diff] [blame] | 273 | template (value) GSUP_PDU ts_GSUP_SAI_REQ(hexstring imsi) := |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 274 | ts_GSUP(OSMO_GSUP_MSGT_SEND_AUTH_INFO_REQUEST, { valueof(ts_GSUP_IE_IMSI(imsi)) }); |
| 275 | |
Harald Welte | ef9fa87 | 2018-01-22 03:00:17 +0100 | [diff] [blame] | 276 | template GSUP_PDU tr_GSUP_SAI_REQ(template hexstring imsi) := |
Harald Welte | 8a1dd53 | 2018-01-27 15:38:18 +0100 | [diff] [blame] | 277 | tr_GSUP_IMSI(OSMO_GSUP_MSGT_SEND_AUTH_INFO_REQUEST, imsi); |
Harald Welte | ef9fa87 | 2018-01-22 03:00:17 +0100 | [diff] [blame] | 278 | |
Harald Welte | 77a8eba | 2018-01-22 21:22:32 +0100 | [diff] [blame] | 279 | template (value) GSUP_PDU ts_GSUP_SAI_RES(hexstring imsi, GSUP_IE auth_tuple) := |
| 280 | ts_GSUP(OSMO_GSUP_MSGT_SEND_AUTH_INFO_RESULT, { |
| 281 | valueof(ts_GSUP_IE_IMSI(imsi)), auth_tuple }); |
| 282 | |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 283 | template GSUP_PDU tr_GSUP_SAI_ERR(template hexstring imsi, template integer cause) := |
Harald Welte | 071ed73 | 2018-01-23 19:53:52 +0100 | [diff] [blame] | 284 | tr_GSUP(OSMO_GSUP_MSGT_SEND_AUTH_INFO_ERROR, { |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 285 | tr_GSUP_IE_IMSI(imsi), tr_GSUP_IE_Cause(cause) }); |
| 286 | |
Harald Welte | 6aa04e3 | 2018-01-27 15:35:19 +0100 | [diff] [blame] | 287 | template (value) GSUP_PDU ts_GSUP_SAI_ERR(hexstring imsi, integer cause) := |
| 288 | ts_GSUP(OSMO_GSUP_MSGT_SEND_AUTH_INFO_ERROR, { |
| 289 | valueof(ts_GSUP_IE_IMSI(imsi)), valueof(ts_GSUP_IE_Cause(cause)) }); |
Harald Welte | 071ed73 | 2018-01-23 19:53:52 +0100 | [diff] [blame] | 290 | |
| 291 | |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 292 | template GSUP_PDU tr_GSUP_SAI_RES(template hexstring imsi) := |
| 293 | tr_GSUP(OSMO_GSUP_MSGT_SEND_AUTH_INFO_REQUEST, { |
| 294 | tr_GSUP_IE_IMSI(imsi), *, tr_GSUP_IE(OSMO_GSUP_AUTH_TUPLE_IE), * }); |
| 295 | |
Harald Welte | dfe94dd | 2018-01-21 13:55:22 +0100 | [diff] [blame] | 296 | template GSUP_PDU tr_GSUP_UL_REQ(template hexstring imsi) := |
Harald Welte | 8a1dd53 | 2018-01-27 15:38:18 +0100 | [diff] [blame] | 297 | tr_GSUP_IMSI(OSMO_GSUP_MSGT_UPDATE_LOCATION_REQUEST, imsi); |
Harald Welte | dfe94dd | 2018-01-21 13:55:22 +0100 | [diff] [blame] | 298 | |
Harald Welte | 6aa04e3 | 2018-01-27 15:35:19 +0100 | [diff] [blame] | 299 | template (value) GSUP_PDU ts_GSUP_UL_RES(hexstring imsi) := |
Harald Welte | dfe94dd | 2018-01-21 13:55:22 +0100 | [diff] [blame] | 300 | ts_GSUP(OSMO_GSUP_MSGT_UPDATE_LOCATION_RESULT, { valueof(ts_GSUP_IE_IMSI(imsi)) }); |
| 301 | |
Harald Welte | 6aa04e3 | 2018-01-27 15:35:19 +0100 | [diff] [blame] | 302 | template (value) GSUP_PDU ts_GSUP_UL_ERR(hexstring imsi, integer cause) := |
Harald Welte | 6ff8190 | 2018-01-21 19:09:08 +0100 | [diff] [blame] | 303 | ts_GSUP(OSMO_GSUP_MSGT_UPDATE_LOCATION_ERROR, { |
| 304 | valueof(ts_GSUP_IE_IMSI(imsi)), valueof(ts_GSUP_IE_Cause(cause)) }); |
| 305 | |
Harald Welte | 6aa04e3 | 2018-01-27 15:35:19 +0100 | [diff] [blame] | 306 | template (value) GSUP_PDU ts_GSUP_ISD_REQ(hexstring imsi, hexstring msisdn) := |
Harald Welte | 6ff8190 | 2018-01-21 19:09:08 +0100 | [diff] [blame] | 307 | ts_GSUP(OSMO_GSUP_MSGT_INSERT_DATA_REQUEST, { |
| 308 | valueof(ts_GSUP_IE_IMSI(imsi)), valueof(ts_GSUP_IE_MSISDN(msisdn)) }); |
| 309 | |
| 310 | template GSUP_PDU tr_GSUP_ISD_RES(template hexstring imsi) := |
Harald Welte | 8a1dd53 | 2018-01-27 15:38:18 +0100 | [diff] [blame] | 311 | tr_GSUP_IMSI(OSMO_GSUP_MSGT_INSERT_DATA_RESULT, imsi); |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 312 | |
Harald Welte | c638f4d | 2018-01-24 22:00:36 +0100 | [diff] [blame] | 313 | template GSUP_PDU tr_GSUP_AUTH_FAIL_IND(hexstring imsi) := |
Harald Welte | 8a1dd53 | 2018-01-27 15:38:18 +0100 | [diff] [blame] | 314 | tr_GSUP_IMSI(OSMO_GSUP_MSGT_AUTH_FAIL_REPORT, imsi); |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 315 | |
Harald Welte | 167458a | 2018-01-27 15:58:16 +0100 | [diff] [blame] | 316 | template (value) GSUP_PDU ts_GSUP_CL_REQ(hexstring imsi, GSUP_CancelType ctype) := |
| 317 | ts_GSUP(OSMO_GSUP_MSGT_LOCATION_CANCEL_REQUEST, { |
| 318 | valueof(ts_GSUP_IE_IMSI(imsi)), valueof(ts_GSUP_IE_CancelType(ctype)) }); |
| 319 | |
| 320 | template GSUP_PDU tr_GSUP_CL_RES(template hexstring imsi) := |
| 321 | tr_GSUP_IMSI(OSMO_GSUP_MSGT_LOCATION_CANCEL_RESULT, imsi); |
| 322 | |
| 323 | template GSUP_PDU tr_GSUP_CL_ERR(template hexstring imsi, template integer cause := ?) := |
| 324 | tr_GSUP(OSMO_GSUP_MSGT_LOCATION_CANCEL_ERROR, { |
| 325 | tr_GSUP_IE_IMSI(imsi), tr_GSUP_IE_Cause(cause) }); |
| 326 | |
Harald Welte | 6abb9fe | 2018-02-17 15:24:48 +0100 | [diff] [blame] | 327 | template GSUP_PDU tr_GSUP_PURGE_MS_REQ(template hexstring imsi, template GSUP_CnDomain dom := ?) := |
| 328 | tr_GSUP(OSMO_GSUP_MSGT_PURGE_MS_REQUEST, { |
| 329 | tr_GSUP_IE_IMSI(imsi), *, tr_GSUP_IE_CnDomain(dom) }); |
| 330 | |
| 331 | template (value) GSUP_PDU ts_GSUP_PURGE_MS_RES(hexstring imsi) := |
| 332 | ts_GSUP(OSMO_GSUP_MSGT_PURGE_MS_RESULT, { |
| 333 | valueof(ts_GSUP_IE_IMSI(imsi)) }); |
| 334 | |
Harald Welte | 167458a | 2018-01-27 15:58:16 +0100 | [diff] [blame] | 335 | |
| 336 | template (value) GSUP_IE ts_GSUP_IE_CancelType(GSUP_CancelType ctype) := { |
| 337 | tag := OSMO_GSUP_CANCEL_TYPE_IE, |
| 338 | len := 0, /* overwritten */ |
| 339 | val := { |
| 340 | cancel_type := ctype |
| 341 | } |
| 342 | } |
| 343 | |
| 344 | template GSUP_IE tr_GSUP_IE_CancelType(template GSUP_CancelType ctype) := |
| 345 | tr_GSUP_IE(OSMO_GSUP_CANCEL_TYPE_IE, GSUP_IeValue:{cancel_type:=ctype}); |
| 346 | |
Harald Welte | 6abb9fe | 2018-02-17 15:24:48 +0100 | [diff] [blame] | 347 | template GSUP_IE tr_GSUP_IE_CnDomain(template GSUP_CnDomain domain) := |
| 348 | tr_GSUP_IE(OSMO_GSUP_CN_DOMAIN_IE, GSUP_IeValue:{cn_domain:=domain}); |
| 349 | |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 350 | template GSUP_IE tr_GSUP_IE(template GSUP_IEI iei, template GSUP_IeValue val := ?) := { |
| 351 | tag := iei, |
| 352 | len := ?, |
| 353 | val := val |
| 354 | } |
| 355 | |
| 356 | template (value) GSUP_IE ts_GSUP_IE_IMSI(hexstring imsi) := { |
| 357 | tag := OSMO_GSUP_IMSI_IE, |
| 358 | len := 0, /* overwritten */ |
| 359 | val := { |
| 360 | imsi := imsi |
| 361 | } |
| 362 | } |
| 363 | |
| 364 | template GSUP_IE tr_GSUP_IE_IMSI(template hexstring imsi) := { |
| 365 | tag := OSMO_GSUP_IMSI_IE, |
| 366 | len := ?, |
| 367 | val := { |
| 368 | imsi := imsi |
| 369 | } |
| 370 | } |
| 371 | |
Harald Welte | 6ff8190 | 2018-01-21 19:09:08 +0100 | [diff] [blame] | 372 | template (value) GSUP_IE ts_GSUP_IE_MSISDN(hexstring msisdn) := { |
| 373 | tag := OSMO_GSUP_MSISDN_IE, |
| 374 | len := 0, /* overwritten */ |
| 375 | val := { |
Harald Welte | 3f95be8 | 2018-01-27 00:48:13 +0100 | [diff] [blame] | 376 | msisdn := ts_GSUP_MSISDN(msisdn) |
Harald Welte | 6ff8190 | 2018-01-21 19:09:08 +0100 | [diff] [blame] | 377 | } |
| 378 | } |
| 379 | |
| 380 | template GSUP_IE tr_GSUP_IE_MSISDN(template hexstring msisdn) := { |
| 381 | tag := OSMO_GSUP_MSISDN_IE, |
| 382 | len := ?, |
| 383 | val := { |
Harald Welte | 3f95be8 | 2018-01-27 00:48:13 +0100 | [diff] [blame] | 384 | msisdn := tr_GSUP_MSISDN(msisdn) |
Harald Welte | 6ff8190 | 2018-01-21 19:09:08 +0100 | [diff] [blame] | 385 | } |
| 386 | } |
| 387 | |
| 388 | |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 389 | template (value) GSUP_IE ts_GSUP_IE_Cause(integer cause) := { |
| 390 | tag := OSMO_GSUP_CAUSE_IE, |
| 391 | len := 0, /* overwritten */ |
| 392 | val := { |
| 393 | cause := cause |
| 394 | } |
| 395 | } |
| 396 | |
| 397 | template GSUP_IE tr_GSUP_IE_Cause(template integer cause) := { |
| 398 | tag := OSMO_GSUP_CAUSE_IE, |
| 399 | len := ?, |
| 400 | val := { |
| 401 | cause := cause |
| 402 | } |
| 403 | } |
| 404 | |
| 405 | template (value) GSUP_IE ts_GSUP_IE_AUTS(octetstring auts) := { |
| 406 | tag := OSMO_GSUP_AUTS_IE, |
| 407 | len := 0, /* overwritten */ |
| 408 | val := { |
| 409 | auts := auts |
| 410 | } |
| 411 | } |
| 412 | |
| 413 | template (value) GSUP_IE ts_GSUP_IE_RAND(octetstring rand) := { |
| 414 | tag := OSMO_GSUP_RAND_IE, |
| 415 | len := 0, /* overwritten */ |
| 416 | val := { |
| 417 | rand := rand |
| 418 | } |
| 419 | } |
| 420 | |
Harald Welte | 77a8eba | 2018-01-22 21:22:32 +0100 | [diff] [blame] | 421 | template (value) GSUP_IE ts_GSUP_IE_SRES(octetstring sres) := { |
| 422 | tag := OSMO_GSUP_SRES_IE, |
| 423 | len := 0, /* overwritten */ |
| 424 | val := { |
| 425 | sres := sres |
| 426 | } |
| 427 | } |
| 428 | |
| 429 | template (value) GSUP_IE ts_GSUP_IE_Kc(octetstring kc) := { |
| 430 | tag := OSMO_GSUP_KC_IE, |
| 431 | len := 0, /* overwritten */ |
| 432 | val := { |
| 433 | kc := kc |
| 434 | } |
| 435 | } |
| 436 | |
| 437 | template (value) GSUP_IE ts_GSUP_IE_IK(octetstring ik) := { |
| 438 | tag := OSMO_GSUP_IK_IE, |
| 439 | len := 0, /* overwritten */ |
| 440 | val := { |
| 441 | ik := ik |
| 442 | } |
| 443 | } |
| 444 | |
| 445 | template (value) GSUP_IE ts_GSUP_IE_CK(octetstring ck) := { |
| 446 | tag := OSMO_GSUP_CK_IE, |
| 447 | len := 0, /* overwritten */ |
| 448 | val := { |
| 449 | ck := ck |
| 450 | } |
| 451 | } |
| 452 | |
| 453 | template (value) GSUP_IE ts_GSUP_IE_AUTN(octetstring autn) := { |
| 454 | tag := OSMO_GSUP_AUTN_IE, |
| 455 | len := 0, /* overwritten */ |
| 456 | val := { |
| 457 | autn := autn |
| 458 | } |
| 459 | } |
| 460 | |
| 461 | template (value) GSUP_IE ts_GSUP_IE_RES(octetstring res) := { |
| 462 | tag := OSMO_GSUP_RES_IE, |
| 463 | len := 0, /* overwritten */ |
| 464 | val := { |
| 465 | res := res |
| 466 | } |
| 467 | } |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 468 | |
Harald Welte | eded9ad | 2018-02-17 20:57:34 +0100 | [diff] [blame] | 469 | template (value) GSUP_IE ts_GSUP_IE_APN(octetstring apn) := { |
| 470 | tag := OSMO_GSUP_ACCESS_POINT_NAME_IE, |
| 471 | len := 0, /* overwritten */ |
| 472 | val := { |
| 473 | apn := apn |
| 474 | } |
| 475 | } |
| 476 | |
Harald Welte | df32723 | 2017-12-28 22:51:51 +0100 | [diff] [blame] | 477 | |
| 478 | |
| 479 | } with { encode "RAW"; variant "FIELDORDER(msb)" } |