Searched refs:ap_cap (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c353 cap_t ap_cap; local
362 ap_cap = cap_asid_pool_cap_new(IT_ASID >> asidLowBits, ap_pptr);
363 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapInitThreadASIDPool), ap_cap);
371 return ap_cap;

Completed in 28 milliseconds