usb manager: converted spawn_program call to new cap based interface
authorRoni Häcki <roni.haecki@inf.ethz.ch>
Tue, 10 Oct 2017 14:06:03 +0000 (16:06 +0200)
committerRoni Häcki <roni.haecki@inf.ethz.ch>
Tue, 10 Oct 2017 14:06:03 +0000 (16:06 +0200)
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

usr/drivers/usb/usb_manager/usb_driver.c

index 2067732..3a945a9 100644 (file)
@@ -308,7 +308,7 @@ static void usb_driver_spawn(void)
     assert(device_process != NULL);
     assert(device_process->path != NULL);
 
-    domainid_t new_domain = -1;
+    struct capref new_domain;
 
     char *argv[1] = {
         [0] = NULL,