GIC_PPI

openhcl_boot::dt::aarch64

Constant GIC_PPI 

Source 
pub const GIC_PPI: u32 = 1;