raspberrypi/gpio/info_infrared.c