103 #define time_after(a,b)		\  argument
105 	 typecheck(unsigned long, b) && \
106 	 ((long)((b) - (a)) < 0))
107 #define time_before(a,b)	time_after(b,a)  argument
109 #define time_after_eq(a,b)	\  argument
111 	 typecheck(unsigned long, b) && \
112 	 ((long)((a) - (b)) >= 0))
113 #define time_before_eq(a,b)	time_after_eq(b,a)  argument
118 #define time_in_range(a,b,c) \  argument
119 	(time_after_eq(a,b) && \
125 #define time_in_range_open(a,b,c) \  argument
126 	(time_after_eq(a,b) && \
132 #define time_after64(a,b)	\  argument
134 	 typecheck(__u64, b) && \
135 	 ((__s64)((b) - (a)) < 0))
136 #define time_before64(a,b)	time_after64(b,a)  argument
138 #define time_after_eq64(a,b)	\  argument
140 	 typecheck(__u64, b) && \
141 	 ((__s64)((a) - (b)) >= 0))
142 #define time_before_eq64(a,b)	time_after_eq64(b,a)  argument
144 #define time_in_range64(a, b, c) \  argument
145 	(time_after_eq64(a, b) && \