cec_monitor_pin_cnt_dec  442 drivers/media/cec/cec-api.c 				cec_monitor_pin_cnt_dec(adap);
cec_monitor_pin_cnt_dec  625 drivers/media/cec/cec-api.c 		cec_monitor_pin_cnt_dec(adap);
cec_monitor_pin_cnt_dec   37 drivers/media/cec/cec-priv.h void cec_monitor_pin_cnt_dec(struct cec_adapter *adap);