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