hdmi_write_and_or 1729 drivers/media/i2c/adv7842.c 		hdmi_write_and_or(sd, 0x1a, 0xef, 0x00); /* Unmute audio */
hdmi_write_and_or 1740 drivers/media/i2c/adv7842.c 	hdmi_write_and_or(sd, 0x1a, 0xef, 0x10); /* Mute audio [REF_01, c. 2.2.2] */
hdmi_write_and_or 3005 drivers/media/i2c/adv7842.c 	hdmi_write_and_or(sd, 0x1a, 0xf1, 0x08); /* Wait 1 s before unmute */