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

/seL4-refos-master/kernel/libsel4/include/sel4/
H A Dbootinfo_types.h28 seL4_CapSMMUSIDControl = 12, /*global SMMU SID controller cap, null cap if not supported*/ enumerator in enum:__anon5
/seL4-refos-master/libs/libsel4/include/sel4/
H A Dbootinfo_types.h28 seL4_CapSMMUSIDControl = 12, /*global SMMU SID controller cap, null cap if not supported*/ enumerator in enum:__anon28
/seL4-refos-master/kernel/src/arch/arm/kernel/
H A Dboot.c135 write_slot(SLOT_PTR(pptr_of_cap(root_cnode_cap), seL4_CapSMMUSIDControl), cap_sid_control_cap_new());
/seL4-refos-master/projects/seL4_libs/libsel4simple/include/simple/
H A Dsimple.h566 return simple_init_cap(simple, seL4_CapSMMUSIDControl);
/seL4-refos-master/libs/libsel4simple/include/simple/
H A Dsimple.h566 return simple_init_cap(simple, seL4_CapSMMUSIDControl);

Completed in 38 milliseconds