use crate::systems::rpi::bsp;
pub use bsp::device_driver::IRQNumber;
#[cfg(feature = "rpi3")]
pub mod irq_map
{
use super::bsp::device_driver::{IRQNumber, LocalIRQ, PeripheralIRQ};
pub const ARM_NS_PHYSICAL_TIMER: IRQNumber = IRQNumber::Local(LocalIRQ::new(1));
pub(in crate::systems::rpi::bsp) const PL011_UART: IRQNumber =
IRQNumber::Peripheral(PeripheralIRQ::new(57));
}
#[cfg(feature = "rpi4")]
pub mod irq_map
{
use super::bsp::device_driver::IRQNumber;
pub const ARM_NS_PHYSICAL_TIMER: IRQNumber = IRQNumber::new(30);
pub(in crate::bsp) const PL011_UART: IRQNumber = IRQNumber::new(153);
}