Constant SYSTEM_INTERRUPT_KW_IPI 

pub const SYSTEM_INTERRUPT_KW_IPI: u64 = 64u64;