Searched refs:devcap_tmp (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/kaluga/ | ||
| H A D | start_hpet.c | 61 struct capref devcap_tmp; local 62 err = slot_alloc(&devcap_tmp); 74 &devcap_tmp, &msgerr); 86 err = cap_copy(devcap, devcap_tmp); |
Completed in 39 milliseconds