/linux/include/config/handle/domain/

• ../
• irq.h