xref: /DragonOS/kernel/src/driver/irqchip/mod.rs (revision 52bcb59e9286def2b66d766f6bf6f46745795ec8)

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