Constant DEFAULT_GIC_LPI_INT_ID_BITS 

pub const DEFAULT_GIC_LPI_INT_ID_BITS: u32 = 1;