/* dccp_timestamp - 10s of microseconds time source Returns the number of 10s of microseconds since loading DCCP. This is native DCCP time difference format (RFC 4340, sec. 13). Please note: This will wrap around about circa every 11.9 hours.  */
u32 dccp_timestamp(void)
/* dccp_timestamp - 10s of microseconds time source Returns the number of 10s of microseconds since loading DCCP. This is native DCCP time difference format (RFC 4340, sec. 13). Please note: This will wrap around about circa every 11.9 hours.  */
u32 dccp_timestamp(void)
{
	s64 delta = ktime_us_delta(ktime_get_real(), dccp_timestamp_seed);
	do_div(delta, 10);
	return delta;
}