Re: mapping pages into new address spaces

[Joshua Haberman]
> I don't think you would accept publishing APIs to L4 itself that
> said something like "you must save your UTCB before the call,
> overwrite it with X, and restore it after the call returns."  In the
> same way, I don't want to put a requirement like this on the
> interface I expose to my clients.

Actually, I would not object to such a spec if it made sense for the
call being described.  Of course, the spec would rather read something
like: "the contents of the UTCB is undefined after call returns".  It
would then be up to the programmer to infer that the UTCB contents
must be saved/restored if it is needed after the call.  Similar cases
in the spec can for example be seen at the end of Section A.1.

	eSk