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

1.1 KiB

Raw Blame History

View Raw