/include/config/HVC_IRQ