Searched refs:sel4_page_sizes (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4vspace/include/vspace/
H A Dpage.h21 #define SEL4_NUM_PAGE_SIZES ((int) ARRAY_SIZE(sel4_page_sizes))
26 for (int i = 0; i < SEL4_NUM_PAGE_SIZES && size_bits >= sel4_page_sizes[i]; i++) {
27 /* sanity check, sel4_page_sizes should be ordered */
29 assert(sel4_page_sizes[i - 1] < sel4_page_sizes[i]);
31 if (size_bits == sel4_page_sizes[i]) {
44 if (size_bytes >> sel4_page_sizes[frame_size_index + 1] == 0) {
49 return sel4_page_sizes[frame_size_index];
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/x86/vspace/arch/
H A Dpage.h20 static const UNUSED size_t sel4_page_sizes[] = { variable
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/riscv/vspace/arch/
H A Dpage.h20 static const UNUSED size_t sel4_page_sizes[] = { variable
/seL4-camkes-master/projects/seL4_libs/libsel4vspace/arch_include/arm/vspace/arch/
H A Dpage.h20 static const UNUSED size_t sel4_page_sizes[] = { variable
/seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/
H A Dio.c213 if (size >> sel4_page_sizes[frame_size_index + 1] == 0) {
221 void *result = sel4platsupport_map_paddr_with_page_size(io_mapper, paddr, size, sel4_page_sizes[i], cached);

Completed in 40 milliseconds