xeonphi: adapted to new spawn calls
authorRoni Häcki <roni.haecki@inf.ethz.ch>
Tue, 10 Oct 2017 09:21:14 +0000 (11:21 +0200)
committerRoni Häcki <roni.haecki@inf.ethz.ch>
Tue, 10 Oct 2017 09:21:14 +0000 (11:21 +0200)
Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

usr/drivers/xeon_phi/main_card.c

index ee83a9f..e4adb4a 100644 (file)
@@ -190,7 +190,7 @@ static errval_t boot_cores(void)
 #endif
     debug_printf("spawning corectrl...\n");
 
-    domainid_t new_domain;
+    struct capref new_domain;
     struct capref coreboot_cap = {cnode_task, TASKCN_SLOT_COREBOOT};
 
     /* Create argument cnode to pass coreboot cap */