IRQ domain

IRQ domain用于將硬件的中斷號，轉換成Linux系統中的中斷號（virtual irq， virq），來張圖：

每個中斷控制器都對應一個IRQ Domain；

中斷控制器驅動通過irq_domain_add_*（）接口來創建IRQ Domain；

IRQ Domain支持三種映射方式：linear map（線性映射），tree map（樹映射），no map（不映射）；

linear map：維護固定大小的表，索引是硬件中斷號，如果硬件中斷最大數量固定，并且數值不大，可以選擇線性映射；

tree map：硬件中斷號可能很大，可以選擇樹映射；

no map：硬件中斷號直接就是Linux的中斷號；

三種映射的方式如下圖：

圖中描述了三個中斷控制器，對應到三種不同的映射方式；

各個控制器的硬件中斷號可以一樣，最終在Linux內核中映射的中斷號是唯一的。