ia64_itci         407 arch/ia64/include/uapi/asm/gcc_intrin.h #define ia64_itci(addr)	asm volatile ("itc.i %0;;" :: "r"(addr) : "memory")
ia64_itci         127 arch/ia64/include/uapi/asm/intel_intrin.h #define ia64_itci		__itci