__kernel_cmpbge
# define __kernel_cmpbge(a, b) __builtin_alpha_cmpbge(a, b)
# define __kernel_cmpbge(a, b) \