pub const PLAT_IRQ_FORWARD_BASE: u32 = 100;