INT3R              15 arch/mips/pic32/pic32mzda/early_pin.c #define INT3R 0x140C
INT3R              28 drivers/pinctrl/pinctrl-pic32.h #define INT3R 0x0C