root/include/config/gpiolib/

[..]
  1. irqchip.h
[..]