Constant Z_INIT_POST_KERNEL_POST_KERNEL 

pub const Z_INIT_POST_KERNEL_POST_KERNEL: u32 = 1; // 1u32