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);