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

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dvma.h21 * pointer, however it is then not possible to construct the `camkes_vmas` array at
50 extern const struct camkes_vma camkes_vmas[];
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dsys_madvise.c49 if (camkes_vmas[i].start <= addr && camkes_vmas[i].end > addr) {
51 if (!camkes_vmas[i].read && !camkes_vmas[i].write && !camkes_vmas[i].execute) {
55 if (camkes_vmas[i].end - addr > len) {
60 len -= camkes_vmas[i].end - addr;
61 addr = camkes_vmas[i].end;
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c936 const struct camkes_vma camkes_vmas[] = { variable in typeref:struct:camkes_vma
1040 const size_t camkes_vmas_size = sizeof camkes_vmas / sizeof camkes_vmas[0];

Completed in 83 milliseconds