INT1R 13 arch/mips/pic32/pic32mzda/early_pin.c #define INT1R 0x1404 INT1R 26 drivers/pinctrl/pinctrl-pic32.h #define INT1R 0x04