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

/seL4-refos-master/kernel/libsel4/include/sel4/
H A Dbootinfo_types.h45 typedef struct seL4_SlotRegion { struct
48 } seL4_SlotRegion; typedef in typeref:struct:seL4_SlotRegion
63 seL4_SlotRegion empty; /* empty slots (null caps) */
64 seL4_SlotRegion sharedFrames; /* shared-frame caps (shared between seL4 nodes) */
65 seL4_SlotRegion userImageFrames; /* userland-image frame caps */
66 seL4_SlotRegion userImagePaging; /* userland-image paging structure caps */
67 seL4_SlotRegion ioSpaceCaps; /* IOSpace caps for ARM SMMU */
68 seL4_SlotRegion extraBIPages; /* caps for any pages used to back the additional bootinfo information */
72 seL4_SlotRegion schedcontrol; /* Caps to sched_control for each node */
74 seL4_SlotRegion untype
[all...]
/seL4-refos-master/libs/libsel4/include/sel4/
H A Dbootinfo_types.h45 typedef struct seL4_SlotRegion { struct
48 } seL4_SlotRegion; typedef in typeref:struct:seL4_SlotRegion
63 seL4_SlotRegion empty; /* empty slots (null caps) */
64 seL4_SlotRegion sharedFrames; /* shared-frame caps (shared between seL4 nodes) */
65 seL4_SlotRegion userImageFrames; /* userland-image frame caps */
66 seL4_SlotRegion userImagePaging; /* userland-image paging structure caps */
67 seL4_SlotRegion ioSpaceCaps; /* IOSpace caps for ARM SMMU */
68 seL4_SlotRegion extraBIPages; /* caps for any pages used to back the additional bootinfo information */
72 seL4_SlotRegion schedcontrol; /* Caps to sched_control for each node */
74 seL4_SlotRegion untype
[all...]
/seL4-refos-master/kernel/include/
H A Dbootinfo.h16 #define S_REG_EMPTY (seL4_SlotRegion){ .start = 0, .end = 0 }
/seL4-refos-master/kernel/include/arch/arm/arch/object/
H A Diospace.h15 seL4_SlotRegion create_iospace_caps(cap_t root_cnode_cap);
29 static inline seL4_SlotRegion create_iospace_caps(cap_t root_cnode_cap)
/seL4-refos-master/libs/libsel4simple-default/src/arch/arm/
H A Ddefault.c44 seL4_SlotRegion reg;
67 seL4_SlotRegion reg;
/seL4-refos-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/
H A Ddefault.c44 seL4_SlotRegion reg;
67 seL4_SlotRegion reg;
/seL4-refos-master/kernel/include/kernel/
H A Dboot.h79 seL4_SlotRegion region;
/seL4-refos-master/kernel/src/arch/arm/object/
H A Diospace.c92 BOOT_CODE seL4_SlotRegion create_iospace_caps(cap_t root_cnode_cap)
117 return (seL4_SlotRegion) {
/seL4-refos-master/kernel/src/arch/x86/kernel/
H A Dboot.c82 ndks_boot.bi_frame->untyped = (seL4_SlotRegion) {
/seL4-refos-master/kernel/src/arch/riscv/kernel/
H A Dboot.c45 ndks_boot.bi_frame->untyped = (seL4_SlotRegion) {
H A Dvspace.c296 ndks_boot.bi_frame->userImagePaging = (seL4_SlotRegion) {
/seL4-refos-master/projects/seL4_libs/libsel4test/include/sel4test/
H A Dtest.h69 seL4_SlotRegion io_space_caps;
/seL4-refos-master/kernel/src/kernel/
H A Dboot.c374 (seL4_SlotRegion) { slot_pos_before, slot_pos_after }, true
416 ndks_boot.bi_frame->schedcontrol = (seL4_SlotRegion) {
683 ndks_boot.bi_frame->empty = (seL4_SlotRegion) {
/seL4-refos-master/kernel/src/arch/arm/kernel/
H A Dboot.c151 ndks_boot.bi_frame->untyped = (seL4_SlotRegion) {
/seL4-refos-master/kernel/src/arch/x86/32/kernel/
H A Dvspace.c459 ndks_boot.bi_frame->userImagePaging = (seL4_SlotRegion) {
/seL4-refos-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c742 ndks_boot.bi_frame->userImagePaging = (seL4_SlotRegion) {
/seL4-refos-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c564 ndks_boot.bi_frame->userImagePaging = (seL4_SlotRegion) {
/seL4-refos-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c515 ndks_boot.bi_frame->userImagePaging = (seL4_SlotRegion) {

Completed in 169 milliseconds