Searched refs:L4_BASE_PAGER_CAP (Results 1 – 3 of 3) sorted by relevance

/l4re-core-master/moe/server/src/
A D	globals.h	39 Sigma0_cap = L4_BASE_PAGER_CAP,
A D	main.cc	562 l4_debugger_set_object_name(L4_BASE_PAGER_CAP, "moe->s0"); in main()
/l4re-core-master/l4sys/include/
A D	consts.h	261 L4_BASE_PAGER_CAP = 4UL << L4_CAP_SHIFT, enumerator

Completed in 4 milliseconds

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