pub const CPU_INTERRUPT_TGT_EXT_4: u32 = 4096;