Constant GET_INTERRUPT_CONTROLLER_INFO 

pub const GET_INTERRUPT_CONTROLLER_INFO: u64 = 0x31a438b28dca119c;