Symbol: HDCP_2_2_SEQ_NUM_MAX