__ia64_set_dbr    425 arch/ia64/include/uapi/asm/gcc_intrin.h #define __ia64_set_dbr(index, val)						\
__ia64_set_dbr     82 arch/ia64/include/uapi/asm/intel_intrin.h #define __ia64_set_dbr(index, val)	\