PIC32の割り込み周りでうろうろした

（２０１８．０６．０５）
PIC32を使ったOscilogiアプリを検討しています。先日のPICクラブで『タイマをDMA転送のトリガにして、１０MHzでデータ転送した』という話を聞いて、俄然やる気になりました。￥（＾_＾）

割り込みを使ってDMAにトリガを掛ける方法はこれ（↓）で良さそうなのですが・・・
DMAトリガの設定

タイマ割り込みのIRQ番号が分かりません。orz
で、INTERRUPTの所を見てみると・・・有りました！
IRQ番号の割り当て

IRQ=0が（RESETでは無く）CORETIMER割り込みに割り当てられています。以前、（CORETIMER割り込みを使ったので）この辺りのことは調べた筈ですがすっかり忘れています。

ヘッダファイル（p32mx250f128b.h）を調べると、IRQのシンボルが定義されていました。
IRQのシンボル定義

多分一度は目を通した筈の資料を、とても新鮮な気持ちで眺めています。
これも年をとったせいなのかなぁ~