Cyclone® V SoC で Hard Processor System (HPS) 側の割り込みコントローラ（GIC）の 割り込み番号 72～135 に割り当てられている FPGA_IRQ0 ～ FPGA_IRQ63 を使用していますが、 これらの割り込みが発生している事を直接確認するためには、どのレジスタを参照すれば良いですか？

GIC のレジスタ「Pending Set Registers (ICDISPRn)」で確認可能です。
割り込みが発生すると ICDISPRn の該当ビットに 1 がセットされます。
ICDISPRn レジスタのビットマップはリンク先のドキュメントを参照ください。
　
PrimeCell Generic Interrupt Controller (PL390) Technical Reference Manual
http://infocenter.arm.com/help/topic/com.arm.doc.ddi0416b/Beihefjf.html

（Pending Set Registers (ICDISPRn) の項目）

GIC のレジスタのベースアドレスは HPS のマニュアルに記載されますが、
レジスタ詳細については Arm 社発行のマニュアルを参照頂く必要があります。

--------------------
カテゴリ：SoC
ツール：SoC EDS
デバイス：Cyclone® V