xref: /DragonOS/kernel/src/driver/irqchip/mod.rs (revision 4f8f484930ed3c09ecf4b5b05b1dea14f7b05d8b) !

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