hello qinyyuu,
you may check Topic 57925 for reading gpio interrupts from user space.
or, you may access pinmux spreadsheets from download center, please have pin configuration and generate cfg files to flash the board for updating.
please also check documentation, Configuring the 40-Pin Expansion Header for more details.
BTW, please also check Topic 123596 for a simple look-up table for values for any of Tegra GPIOs.
thanks