ap->dccpap_ack_seqno, ap->dccpap_ack_ackno); 
(unsigned long long) ap->dccpap_ack_seqno, (unsigned long long) ap->dccpap_ack_ackno); 
void dccp_ackpkts_check_rcv_ackno(struct dccp_ackpkts *ap, struct sock *sk,				 u64 ackno){	/* Check if we actually sent an ACK vector */	if (ap->dccpap_ack_seqno == DCCP_MAX_SEQNO + 1)		return;	if (ackno == ap->dccpap_ack_seqno) {#ifdef DCCP_DEBUG		struct dccp_sock *dp = dccp_sk(sk);		const char *debug_prefix = dp->dccps_role == DCCP_ROLE_CLIENT ? "CLIENT rx ack: " :										"server rx ack: ";#endif		dccp_pr_debug("%sACK packet 0, len=%d, ack_seqno=%llu, ack_ackno=%llu, ACKED!\n",			      debug_prefix, 1,			      ap->dccpap_ack_seqno, ap->dccpap_ack_ackno);		dccp_ackpkts_trow_away_ack_record(ap);		ap->dccpap_ack_seqno = DCCP_MAX_SEQNO + 1;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f6ccf55419c4f0021e7382f000f2fd14a29f3d3c/options.c/buggy/net/dccp/options.c