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