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-03-09 20:46:26 +00:00
2010-04-19 15:20:24 +00:00