13 # define __kernel_insbl(val, shift)	__builtin_alpha_insbl(val, shift)  argument
14 # define __kernel_inswl(val, shift)	__builtin_alpha_inswl(val, shift)  argument
15 # define __kernel_insql(val, shift)	__builtin_alpha_insql(val, shift)  argument
16 # define __kernel_inslh(val, shift)	__builtin_alpha_inslh(val, shift)  argument
17 # define __kernel_extbl(val, shift)	__builtin_alpha_extbl(val, shift)  argument
18 # define __kernel_extwl(val, shift)	__builtin_alpha_extwl(val, shift)  argument
21 # define __kernel_insbl(val, shift)					\  argument
25 # define __kernel_inswl(val, shift)					\  argument
29 # define __kernel_insql(val, shift)					\  argument
33 # define __kernel_inslh(val, shift)					\  argument
37 # define __kernel_extbl(val, shift)					\  argument
41 # define __kernel_extwl(val, shift)					\  argument