Fixes network stats printf strings
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 10 Jun 2014 19:09:24 +0000 (12:09 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 10 Jun 2014 19:09:24 +0000 (12:09 -0700)
commitc14ac438b2dd7c1863024cd70b9aac3525e6e039
tree7d55de4fa05b60bf8cdecf0fe7276f37cd307aea
parenta611275bee6098010e7b180d0e1fd2cc4abbc919
Fixes network stats printf strings

All of these protocols are using u32s for their stats and other stuff.  The
format strings were looking for longs instead of ints.  This fixes them to use ints.

Alternatively, we could change the stats fields to u64.  I'm indifferent.

I didn't both changing any of the protocols that we don't use or even compile.
kern/src/net/icmp.c
kern/src/net/icmp6.c
kern/src/net/ip.c
kern/src/net/tcp.c
kern/src/net/udp.c