INT4R              16 arch/mips/pic32/pic32mzda/early_pin.c #define INT4R 0x1410
INT4R              29 drivers/pinctrl/pinctrl-pic32.h #define INT4R 0x10