Manage RIDs via id_alloc

libsystem/system.h

@@ -33,7 +33,7 @@ int unmap (uintptr_t vaddr, size_t pages);
 int clone (uintptr_t vstack_top, void (*entry) (void), void* argument_ptr);
 
 /* Create a mutex */
-int mutex_create (int mutex_rid);
+int mutex_create (void);
 
 /* Delete a mutex. Will wake up waiters */
 int mutex_delete (int mutex_rid);