gru_kservices_exit 572 drivers/misc/sgi-gru/grufile.c gru_kservices_exit(); gru_kservices_exit 629 drivers/misc/sgi-gru/grutables.h extern void gru_kservices_exit(void);