> It really was a bug, and it has nothing to do with the IPC path,
That's correct, it was a bug in the interrupt handler.
> The correct behavior was to save the segment selectors, and this adds
> about 20 cycles to the path.
I do not see a problem, if the IPC set the segment registers to default
values. See it as output values of this syscall.
Shortly spoken: a syscall can change every user register, an interrupt
has to change none of them.
Bernhard
_______________________________________________
L4-hurd mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/l4-hurd
