1// SPDX-License-Identifier: GPL-3.0-only 2//! IRQ routing table placeholder for [`KState`]. 3//! 4//! Authors: MarioS271 5 6/// Holds the IRQ-to-handler routing table for dynamic IRQ registration. 7pub struct Irq { 8 9}