Constant KERN_MEMORY_RESTART_COPY 

pub const KERN_MEMORY_RESTART_COPY: c_int = 25;