Lines Matching refs:seL4_SlotRegion
45 typedef struct seL4_SlotRegion {
48 } 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 untyped; /* untyped-object caps (untyped caps) */