Constant CONFIG_POST_EVENTS_FROM_ISR 

pub const CONFIG_POST_EVENTS_FROM_ISR: u32 = 1;