cec_put_device    668 drivers/media/cec/cec-api.c 	cec_put_device(devnode);
cec_put_device     31 drivers/media/cec/cec-priv.h void cec_put_device(struct cec_devnode *devnode);