Searched refs:CONFIG_RETYPE_FAN_OUT_LIMIT (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/
H A Dconfig.h41 #ifndef CONFIG_RETYPE_FAN_OUT_LIMIT
42 #define CONFIG_RETYPE_FAN_OUT_LIMIT 256 macro
/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c143 if (nodeWindow < 1 || nodeWindow > CONFIG_RETYPE_FAN_OUT_LIMIT) {
148 current_syscall_error.rangeErrorMax = CONFIG_RETYPE_FAN_OUT_LIMIT;

Completed in 36 milliseconds