TIMER_INTID

openhcl_boot::dt::aarch64

Constant TIMER_INTID 

Source 
pub const TIMER_INTID: u32 = 4;