Zynqのタイマー割り込み

ドライバを使う?
http://www.wiki.xilinx.com/GIC+Standalone+Driver