IRQ00 and IRQ01 are dedicated interrupt request inputs. In theory, the software
can read their status as if they were GP inputs, however, there are no provisions
for that in Linux.
If you have an external peripheral connected to these pins, the best strategy
is to use the existing driver for it. You may need to slightly modify the
driver if it does not support Device Tree.
If you are to implement such driver by yourself (note, drivers are for peripherals,
not for interrupts), familiarize with the concept of Device Trees and the structure
of the 'interrupts' property for peripherals connected to GIC-400.
Any on-chip interrupt-enabled peripheral driver can be used as an example.
You can take a look at I2C, SPI, CAAM, eDMA, etc. There is no difference
between on-chip and external peripheral driver from the interrupt handling
standpoint.
No modifications to RCW are necessary to use IRQ00 or IRQ01 pins.
Hope this helps,
Platon