NOMINAL_IR_BIT_TRANSITION_TIME_US  589 drivers/media/usb/dvb-usb/technisat-usb2.c #define NOMINAL_IR_BIT_TIME_US (2 * NOMINAL_IR_BIT_TRANSITION_TIME_US)
NOMINAL_IR_BIT_TRANSITION_TIME_US  596 drivers/media/usb/dvb-usb/technisat-usb2.c #define NOMINAL_IR_BIT_TRANSITION_TICKS ((NOMINAL_IR_BIT_TRANSITION_TIME_US * 1000 * 1000) / FIRMWARE_CLOCK_TICK)