stdev_kill       1450 drivers/pci/switch/switchtec.c 	stdev_kill(stdev);
stdev_kill       1466 drivers/pci/switch/switchtec.c 	stdev_kill(stdev);