>In any case, the kernel must
>not rely on any action on part of the user mode for its own cleanup.
>Even if the user mode never calls FMWTEARDOWN, the kernel must clean
>up at the end.  The other constraint is that memory that is mapped 
>to user space must never be freed.  
Correct.

jens

Reply via email to