デバイスツリー割り込み属性の値は何ですか？

デバイスツリーのプロパティを理解しようとしていますが、interrupts適切な説明が見つかりませんでした。

たとえば、次の行を含むノードがあるとします。

interrupt-parent = <&gpio5>;
interrupts = <9 0>;

<9 0>マジックナンバーが何に関連しているのか、どうすればわかりますか？ビットマスク、GPIOポート番号、ピン番号、優先順位、エッジなどは何ですか？

ノードinterrupt-parentは次のとおりです（ほとんどのARMデバイスで似ていると予想されます）。

gpio5: gpio@1234 {
   compatible = "fsl,imx7d-gpio", "fsl,imx35-gpio";  
   reg = <0x30240000 0x10000>;  
   interrupts = <GIC_SPI 72 IRQ_TYPE_LEVEL_HIGH>,
           <GIC_SPI 73 IRQ_TYPE_LEVEL_HIGH>;
   gpio-controller;
   #gpio-cells = <2>;
   interrupt-controller;
   #interrupt-cells = <2>;
};