Fixing synchronization tests.

2015-12-31 19:38:38 -05:00
parent 26612b6142
commit 015b989a66
4 changed files with 36 additions and 62 deletions
--- a/kern/include/synchprobs.h
+++ b/kern/include/synchprobs.h
@@ -19,9 +19,9 @@ void matchmaker(void);
 * stoplight.c.
 */

-void gostraight(unsigned long);
-void turnleft(unsigned long);
-void turnright(unsigned long);
+void gostraight(uint32_t);
+void turnleft(uint32_t);
+void turnright(uint32_t);
 void stoplight_init(void);
 void stoplight_cleanup(void);