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

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dvma.h53 extern const size_t camkes_vmas_size;
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dsys_madvise.c48 for (i = 0; i < camkes_vmas_size; i++) {
66 } while (i != camkes_vmas_size);
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c1040 const size_t camkes_vmas_size = sizeof camkes_vmas / sizeof camkes_vmas[0]; variable

Completed in 86 milliseconds