gru_dump_chiplet_request  219 drivers/misc/sgi-gru/grufile.c 		err = gru_dump_chiplet_request(arg);
gru_dump_chiplet_request  633 drivers/misc/sgi-gru/grutables.h extern int gru_dump_chiplet_request(unsigned long arg);