Searched refs:SEL4_NUM_PAGE_SIZES (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dpage.h21 #define SEL4_NUM_PAGE_SIZES ((int) ARRAY_SIZE(sel4_page_sizes)) macro
26 for (int i = 0; i < SEL4_NUM_PAGE_SIZES && size_bits >= sel4_page_sizes[i]; i++) {
43 while (frame_size_index + 1 < SEL4_NUM_PAGE_SIZES) {
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dpage.h18 #define UTILS_NUM_PAGE_SIZES SEL4_NUM_PAGE_SIZES
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/
H A Dio.c212 while (frame_size_index + 1 < SEL4_NUM_PAGE_SIZES) {

Completed in 79 milliseconds