Kees van Reeuwijk 36e12d5bd8 Use endpoint_t for the destination of mini_send and _syscall, and the
source of mini_receive.

Also some small cleanup.
2010-06-02 21:51:32 +00:00
..
2010-04-08 15:00:25 +00:00
2010-04-08 15:00:25 +00:00