*
* Syscall Distribution
*/
-#define DEBUG 0
+#define DEBUG 1
#include <acess.h>
#include <threads.h>
#include <events.h>
Uint tmp;
int rv;
if( a0 ) {
- rv = Proc_GetMessage(&tmp, a1);
+ rv = Proc_GetMessage(&tmp, Sizes[1], a1);
*a0 = tmp;
}
else
- rv = Proc_GetMessage(NULL, a1);
+ rv = Proc_GetMessage(NULL, Sizes[1], a1);
return rv;
);