rusty_mos::process::envs

Function env_destory

Source 
pub fn env_destory(env_index: usize)
Expand description

Destory an env and free it. Re-schedule will be performed.

ยงSafety

The env and all its pages SHALL be valid.