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

/seL4-l4v-10.1.1/seL4/include/
H A Dconfig.h62 /* CONSTRAINT: (16 * CONFIG_MAX_NUM_BOOTINFO_DEVICE_REGIONS) + (5 * CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS) <= 4036 */
63 #ifndef CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS
64 #define CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS 166 macro
/seL4-l4v-10.1.1/seL4/include/api/
H A Dbootinfo_types.h69 seL4_UntypedDesc untypedList[CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS]; /* information about each untyped */
/seL4-l4v-10.1.1/seL4/libsel4/include/sel4/
H A Dbootinfo_types.h69 seL4_UntypedDesc untypedList[CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS]; /* information about each untyped */
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c511 if (i < CONFIG_MAX_NUM_BOOTINFO_UNTYPED_CAPS) {

Completed in 52 milliseconds