Hello ISEE,

Thank you for the query.

Please refer below:

Yes it does.  There is a hop in the path from the extint_n signal to the GIC where the signal is inverted.

Additional info:

glue_ext_intn is an inversion of the ext_intn pin. ext_intn is positive low. Before this signal is routed to the interrupt destination, it is made positive high going through this glue logic. Ext_intn is used as nmi interrupt source from external input through the pin.

Regards,

Sreenivasa