pub fn env_free(env_index: usize)
Free an env, and remove all its pages. The TLB will be flushed after the deletion of pages.
The env and all its pages SHALL be valid.
env