14 # define __kernel_insbl(val, shift)	__builtin_alpha_insbl(val, shift)  argument
15 # define __kernel_inswl(val, shift)	__builtin_alpha_inswl(val, shift)  argument
16 # define __kernel_insql(val, shift)	__builtin_alpha_insql(val, shift)  argument
17 # define __kernel_inslh(val, shift)	__builtin_alpha_inslh(val, shift)  argument
18 # define __kernel_extbl(val, shift)	__builtin_alpha_extbl(val, shift)  argument
19 # define __kernel_extwl(val, shift)	__builtin_alpha_extwl(val, shift)  argument
20 # define __kernel_cmpbge(a, b)		__builtin_alpha_cmpbge(a, b)  argument
22 # define __kernel_insbl(val, shift)					\  argument
26 # define __kernel_inswl(val, shift)					\  argument
30 # define __kernel_insql(val, shift)					\  argument
34 # define __kernel_inslh(val, shift)					\  argument
38 # define __kernel_extbl(val, shift)					\  argument
42 # define __kernel_extwl(val, shift)					\  argument
46 # define __kernel_cmpbge(a, b)						\  argument
96 #define __kernel_stb(val,mem)	((mem) = (val))  argument
97 #define __kernel_stw(val,mem)	((mem) = (val))  argument