JVC_HEADER_PULSE 61 drivers/media/rc/ir-jvc-decoder.c if (!eq_margin(ev.duration, JVC_HEADER_PULSE, JVC_UNIT / 2)) JVC_HEADER_PULSE 151 drivers/media/rc/ir-jvc-decoder.c if (eq_margin(ev.duration, JVC_HEADER_PULSE, JVC_UNIT / 2)) JVC_HEADER_PULSE 166 drivers/media/rc/ir-jvc-decoder.c .header_pulse = JVC_HEADER_PULSE,