Constant CONFIG_KERNEL_INIT_PRIORITY_DEFAULT 

pub const CONFIG_KERNEL_INIT_PRIORITY_DEFAULT: isize = 40;