linux/Documentation/devicetree/bindings/interrupt-controller
..
brcm,bcm2835-armctrl-ic.txt