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

/seL4-refos-master/kernel/libsel4/include/sel4/
H A Dbootinfo_types.h21 seL4_CapASIDControl = 5, /* global ASID controller cap */ enumerator in enum:__anon5
/seL4-refos-master/libs/libsel4/include/sel4/
H A Dbootinfo_types.h21 seL4_CapASIDControl = 5, /* global ASID controller cap */ enumerator in enum:__anon28
/seL4-refos-master/kernel/src/kernel/
H A Dboot.c385 SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapASIDControl),

Completed in 26 milliseconds