pub type KE_PROCESSOR_CHANGE_NOTIFY_STATE = i32;