Searched defs:L2_BITMAP_SIZE (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/kernel/include/model/
H A Dstatedata.h56 #define L2_BITMAP_SIZE ((CONFIG_NUM_PRIORITIES + wordBits - 1) / wordBits) macro

Completed in 74 milliseconds