gru_user_flush_tlb  204 drivers/misc/sgi-gru/grufile.c 		err = gru_user_flush_tlb(arg);
gru_user_flush_tlb  636 drivers/misc/sgi-gru/grutables.h extern int gru_user_flush_tlb(unsigned long arg);