pub const KERN_MEMORY_RESTART_COPY: kern_return_t = 25;