ROUNDDOWN can handle uint64_t on 32 bit (XCC)
[akaros.git] / user / parlib / include / timing.h
2013-05-10 Barret RhodenAdds ndelay() to parlib
2013-03-22 Barret RhodenMerge origin/netpush (networking code) (XCC)
2012-12-18 Kevin KluesAdd header file for proper compilation
2011-11-03 Kevin KluesAddition of c3po library, including revamp of Make...