|
|
|
@ -302,7 +302,7 @@ altstep as_sig_wait_reset() runs on BSSGP_CT { |
|
|
|
|
} |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
private template PDU_BSSGP tr_GLOBAL := ( |
|
|
|
|
private template PDU_BSSGP tr_GLOBAL_SIG := ( |
|
|
|
|
{pDU_BSSGP_SUSPEND:=?}, {pDU_BSSGP_SUSPEND_ACK:=?}, {pDU_BSSGP_SUSPEND_NACK:=?}, |
|
|
|
|
{pDU_BSSGP_RESUME:=?}, {pDU_BSSGP_RESUME_ACK:=?}, {pDU_BSSGP_RESUME_NACK:=?}, |
|
|
|
|
{pDU_BSSGP_SGSN_INVOKE_TRACE:=?}, {pDU_BSSGP_OVERLOAD:=?} |
|
|
|
@ -336,7 +336,7 @@ altstep as_sig_unblocked() runs on BSSGP_CT { |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
/* Messages with BVCI = 0 (Signaling) in BVCI field of NS */ |
|
|
|
|
[] BSCP.receive(f_BnsUdInd(tr_GLOBAL, 0)) -> value udi { |
|
|
|
|
[] BSCP.receive(f_BnsUdInd(tr_GLOBAL_SIG, 0)) -> value udi { |
|
|
|
|
GLOBAL.send(udi.bssgp); |
|
|
|
|
} |
|
|
|
|
[] BSCP.receive(f_BnsUdInd(tr_RIM, 0)) -> value udi { |
|
|
|
@ -393,7 +393,7 @@ altstep as_sig_unblocked() runs on BSSGP_CT { |
|
|
|
|
BSCP.send(udr); |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
[] GLOBAL.receive(tr_GLOBAL) -> value bssgp { |
|
|
|
|
[] GLOBAL.receive(tr_GLOBAL_SIG) -> value bssgp { |
|
|
|
|
BSCP.send(f_BnsUdReq(bssgp, 0, 0)); |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|