new_mon_pin 435 drivers/media/cec/cec-api.c bool new_mon_pin = mode_follower == CEC_MODE_MONITOR_PIN; new_mon_pin 437 drivers/media/cec/cec-api.c if (old_mon_pin != new_mon_pin) { new_mon_pin 438 drivers/media/cec/cec-api.c send_pin_event = new_mon_pin; new_mon_pin 439 drivers/media/cec/cec-api.c if (new_mon_pin)