K 10
svn:author
V 4
manu
K 8
svn:date
V 27
2020-08-04T15:27:32.404320Z
K 7
svn:log
V 218
linuxkpi: Add time_after32 and time_before32

This compare two 32 bits times

Sponsored by: The FreeBSD Foundation
Reviewed by:	kib, hselasky
MFC after:	1 week
Differential Revision:	https://reviews.freebsd.org/D25700

END