Searched refs:dev_cnode_cap (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/kaluga/ | ||
| H A D | armv7_startup.c | 208 struct capref dev_cnode_cap; local 209 err = cnode_create_l2(&dev_cnode_cap, &dev_cnode); 249 NULL_CAP, dev_cnode_cap, 0, driver->did); |
Completed in 10 milliseconds