xref: /DragonOS/kernel/src/driver/irqchip/mod.rs (revision 5c4224e5a8244cb0fb32512e70354362fccd6321)

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