Files
arduino-libs/arduino-cli/libraries/RF24/utility/RPi/interrupt.c