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

/seL4-test-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/
H A Ddefault.c52 reg = bi->ioSpaceCaps;
75 reg = bi->ioSpaceCaps;
/seL4-test-master/kernel/libsel4/include/sel4/
H A Dbootinfo_types.h67 seL4_SlotRegion ioSpaceCaps; /* IOSpace caps for ARM SMMU */ member in struct:seL4_BootInfo
/seL4-test-master/kernel/src/arch/arm/kernel/
H A Dboot.c423 ndks_boot.bi_frame->ioSpaceCaps = create_iospace_caps(root_cnode_cap);
424 if (ndks_boot.bi_frame->ioSpaceCaps.start == 0 &&
425 ndks_boot.bi_frame->ioSpaceCaps.end == 0) {
429 ndks_boot.bi_frame->ioSpaceCaps = S_REG_EMPTY;
/seL4-test-master/kernel/manual/parts/
H A Dbootup.tex107 \texttt{seL4\_SlotRegion} & \texttt{ioSpaceCaps} & I/O space capabilities for ARM SMMU \\
204 will be described by the \texttt{ioSpaceCaps} slot region. The mapping of a

Completed in 33 milliseconds