tcp_cookie_time
u32 diff, count = tcp_cookie_time();
u32 count = tcp_cookie_time();
__u32 diff, count = tcp_cookie_time();