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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dallocman.c444 #define ALLOCMAN_ATTACH(alloc, space, interface) do { \ macro
459 ALLOCMAN_ATTACH(alloc, utspace, utspace);
463 ALLOCMAN_ATTACH(alloc, cspace, cspace);

Completed in 47 milliseconds