openhcl_boot::dt::aarch64

Constant TIMER_INTID

Source 
pub const TIMER_INTID: u32 = 4;