Constant devices::irqchip::x86_64::EMPTY_ROUTE

const EMPTY_ROUTE: [IrqSource; 0];