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

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/
H A Dutspace.h39 #define ALLOCMAN_UT_DEV_MEM 2 macro
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dsimple.c174 if (custom_device == ALLOCMAN_UT_DEV_MEM) {
192 if (custom_device == ALLOCMAN_UT_DEV_MEM) {
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/
H A Dsplit.c114 case ALLOCMAN_UT_DEV_MEM:
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/
H A Dbootstrap.c978 `untyped_type` type. It is used for splitting up device untyped caps into ALLOCMAN_UT_DEV_MEM
1037 untyped_type = ALLOCMAN_UT_DEV_MEM;

Completed in 40 milliseconds