Constant GET_INTERRUPT_CONTROLLER_INFO 

pub const GET_INTERRUPT_CONTROLLER_INFO: u64 = 0x31a438b28dca119c /* 3_577_046_343_573_180_828u64 */;