Constant MS_KERNMOUNT 

pub const MS_KERNMOUNT: u32 = 4194304;