Searched refs:ut_cap (Results 1 - 1 of 1) sorted by relevance
| /seL4-refos-master/kernel/src/kernel/ | ||
| H A D | boot.c | 568 cap_t ut_cap; local 574 ut_cap = cap_untyped_cap_new(MAX_FREE_INDEX(size_bits), 576 ret = provide_cap(root_cnode_cap, ut_cap); |
Completed in 33 milliseconds