Constant Z_INIT_ORD_POST_KERNEL 

pub const Z_INIT_ORD_POST_KERNEL: u32 = 3;