serio_destroy_port  667 drivers/input/serio/serio.c 			serio_destroy_port(s);
serio_destroy_port  709 drivers/input/serio/serio.c 	serio_destroy_port(serio);
serio_destroy_port  724 drivers/input/serio/serio.c 		serio_destroy_port(s);