Constant DEFAULT_GIC_PPI_OVERFLOW_INTERRUPT_FROM_CNTV 

pub const DEFAULT_GIC_PPI_OVERFLOW_INTERRUPT_FROM_CNTV: u32 = 0x14;