openhcl_boot::dt::aarch64

Constant GIC_PPI

Source 
pub const GIC_PPI: u32 = 1;