127 #define time_after(a,b)		\  argument
129 	 typecheck(unsigned long, b) && \
130 	 ((long)((b) - (a)) < 0))
138 #define time_before(a,b)	time_after(b,a)  argument
147 #define time_after_eq(a,b)	\  argument
149 	 typecheck(unsigned long, b) && \
150 	 ((long)((a) - (b)) >= 0))
158 #define time_before_eq(a,b)	time_after_eq(b,a)  argument
168 #define time_in_range(a,b,c) \  argument
169 	(time_after_eq(a,b) && \
180 #define time_in_range_open(a,b,c) \  argument
181 	(time_after_eq(a,b) && \
198 #define time_after64(a,b)	\  argument
200 	 typecheck(__u64, b) && \
201 	 ((__s64)((b) - (a)) < 0))
212 #define time_before64(a,b)	time_after64(b,a)  argument
224 #define time_after_eq64(a,b)	\  argument
226 	 typecheck(__u64, b) && \
227 	 ((__s64)((a) - (b)) >= 0))
238 #define time_before_eq64(a,b)	time_after_eq64(b,a)  argument
248 #define time_in_range64(a, b, c) \  argument
249 	(time_after_eq64(a, b) && \