RSL_Types: Add ts_RSL_BCCH_INFO() for sending BCCH_INFO

Change-Id: Id9ad914f67137e38c7ad259c7a74de0e98c8f50d
diff --git a/library/RSL_Types.ttcn b/library/RSL_Types.ttcn
index 2cd5bd5..8fb44ad 100644
--- a/library/RSL_Types.ttcn
+++ b/library/RSL_Types.ttcn
@@ -1129,6 +1129,17 @@
 
 	/* COMMON CHANNEL MANAGEMENT MESSAGES */
 
+	/* 8.5.1 BTS <- BSC */
+	template RSL_Message ts_RSL_BCCH_INFO(RSL_IE_SysinfoType si_type, octetstring full_bcch_info) := {
+		msg_disc := ts_RSL_MsgDisc(RSL_MDISC_CCHAN, false),
+		msg_type := RSL_MT_BCCH_INFO,
+		ies := {
+			t_RSL_IE(RSL_IE_CHAN_NR, RSL_IE_Body:{chan_nr := t_RslChanNr_BCCH(0)}),
+			t_RSL_IE(RSL_IE_SYSINFO_TYPE, RSL_IE_Body:{sysinfo_type := si_type}),
+			t_RSL_IE(RSL_IE_FULL_BCCH_INFO, RSL_IE_Body:{other := ts_RSL_LV(full_bcch_info)})
+		}
+	}
+
 	/* 8.5.2 BTS -> BSC */
 	template RSL_Message ts_RSL_RACH_LOAD_IND(uint16_t slot_ct, uint16_t busy_ct, uint16_t acc_ct) := {
 		msg_disc := ts_RSL_MsgDisc(RSL_MDISC_CCHAN, false),