Constant DEFAULT_GIC_LPI_INT_ID_BITS

pub const DEFAULT_GIC_LPI_INT_ID_BITS: u32 = 1;