xref: /DragonOS/kernel/src/driver/irqchip/mod.rs (revision 8cb2e9b344230227fe5f3ab3ebeb2522f1c5e289)

#[cfg(target_arch = "riscv64")]
pub mod riscv_intc;