Searched refs:L4_BASE_SCHEDULER_CAP (Results 1 – 2 of 2) sorted by relevance

/l4re-core-master/l4sys/include/
A D	consts.h	273 L4_BASE_SCHEDULER_CAP = 7UL << L4_CAP_SHIFT, enumerator
/l4re-core-master/moe/server/src/
A D	main.cc	493 my_env.scheduler(L4_BASE_SCHEDULER_CAP); in init_env()

Completed in 5 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023