Constant TRNG_IRQ 

pub const TRNG_IRQ: u32 = 39;