pub const CPU_INTERRUPT_TGT_EXT_2: u32 = 64;