xref: /DragonOS/kernel/src/driver/irqchip/mod.rs (revision 59fdb447ee4f7b53b1d9c56ec1442aa8c597ac2b)

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