ia64_fc           111 arch/ia64/kernel/patch.c 		ia64_fc((void *) ip);
ia64_fc           134 arch/ia64/kernel/patch.c 		ia64_fc((void *) ip);
ia64_fc           165 arch/ia64/kernel/patch.c 		ia64_fc(wp); ia64_fc(wp + 2);
ia64_fc           182 arch/ia64/kernel/patch.c 		ia64_fc((void *) ip);
ia64_fc           200 arch/ia64/kernel/patch.c 		ia64_fc((void *) ip);
ia64_fc           232 arch/ia64/kernel/patch.c 		ia64_fc((void *)ip);
ia64_fc            35 drivers/misc/sgi-gru/gru_instructions.h #define __flush_cache(p)		ia64_fc((unsigned long)p)