Searched refs:camkes_vma (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/
H A Dvma.h18 struct camkes_vma { struct
50 extern const struct camkes_vma camkes_vmas[];
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c936 const struct camkes_vma camkes_vmas[] = {

Completed in 88 milliseconds