Raspberry Pi的 System timer 文件上沒說的3件事

關於Raspberry Pi的 System timer 文件上沒說的3件事

1. Timer 頻率是1 MHz  
2. Timer Compare  0,1,2,3 輸出的中斷,分別對應到 GPU Interrupt Table 的IRQs 0-3 
3. Timer Compare 0及2 的輸出，GPU 內部已拿去使用了, 故ARM 只能用0和1。

通常當中斷產生後，中斷控制器會以pending的作法來控制同一中斷不再產生。所以當中斷處理程式結束後，必須做清除pending的動作。BCM2835中斷控制器的設計中並沒有清除的方法，這個部分都交由各設備控制器自己來執行清除pending bit的動作。

一個程式範例如下