Searched defs:allocman (Results 1 - 8 of 8) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/
H A Dstate.h54 allocman_t *allocman; member in struct:procserv_state
/seL4-refos-master/apps/process_server/src/
H A Dstate.h54 allocman_t *allocman; member in struct:procserv_state
/seL4-refos-master/libs/libsel4allocman/
H A Dexample_bootstrap.c38 allocman_t *allocman; local
60 allocman_t *allocman; local
79 allocman_t *allocman; local
119 allocman_t *allocman; local
140 allocman_t *allocman; local
187 allocman_t *allocman; local
208 allocman_t *allocman; local
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4allocman/
H A Dexample_bootstrap.c38 allocman_t *allocman; local
60 allocman_t *allocman; local
79 allocman_t *allocman; local
119 allocman_t *allocman; local
140 allocman_t *allocman; local
187 allocman_t *allocman; local
208 allocman_t *allocman; local
[all...]
/seL4-refos-master/libs/libsel4allocman/include/allocman/
H A Dallocman.h107 typedef struct allocman { struct
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/
H A Dallocman.h107 typedef struct allocman { struct
[all...]
/seL4-refos-master/libs/libsel4allocman/src/
H A Dbootstrap.c1150 allocman_t *allocman; local
[all...]
/seL4-refos-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c1150 allocman_t *allocman; local
[all...]

Completed in 43 milliseconds