cec_pin_update    140 drivers/media/cec/cec-pin.c 	cec_pin_update(pin, v, false);
cec_pin_update    147 drivers/media/cec/cec-pin.c 	cec_pin_update(pin, false, false);
cec_pin_update   1286 drivers/media/cec/cec-pin.c 	cec_pin_update(pin, value, false);
cec_pin_update   1332 drivers/media/cec/cec-pin.c 	cec_pin_update(pin, cec_pin_high(pin), true);