ts_user_chiplet_id 876 drivers/misc/sgi-gru/grufault.c gts->ts_user_chiplet_id = req.val0; ts_user_chiplet_id 333 drivers/misc/sgi-gru/grumain.c gts->ts_user_chiplet_id = -1; ts_user_chiplet_id 709 drivers/misc/sgi-gru/grumain.c chiplet_id = gts->ts_user_chiplet_id; ts_user_chiplet_id 353 drivers/misc/sgi-gru/grutables.h char ts_user_chiplet_id;/* user selected chiplet */