gru_free_cpu_resources  825 drivers/misc/sgi-gru/grukservices.c 	gru_free_cpu_resources(cb, dsr);
gru_free_cpu_resources  918 drivers/misc/sgi-gru/grukservices.c 	gru_free_cpu_resources(cb, dsr);
gru_free_cpu_resources  940 drivers/misc/sgi-gru/grukservices.c 	gru_free_cpu_resources(cb, dsr);
gru_free_cpu_resources  988 drivers/misc/sgi-gru/grukservices.c 	gru_free_cpu_resources(cb, dsr);