__kernel_cmpbge    20 arch/alpha/include/uapi/asm/compiler.h # define __kernel_cmpbge(a, b)		__builtin_alpha_cmpbge(a, b)
__kernel_cmpbge    46 arch/alpha/include/uapi/asm/compiler.h # define __kernel_cmpbge(a, b)						\