Searched refs:ALLOCMAN_UT_KERNEL (Results 1 - 5 of 5) sorted by relevance
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/utspace/ |
| H A D | utspace.h | 26 #define ALLOCMAN_UT_KERNEL 0 macro
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
| H A D | twinkle.c | 43 if (utType != ALLOCMAN_UT_KERNEL) {
|
| H A D | split.c | 108 case ALLOCMAN_UT_KERNEL:
|
| /seL4-camkes-master/tools/rumprun/platform/sel4/ |
| H A D | simple.c | 94 *device = custom_device == ALLOCMAN_UT_KERNEL ? 0 : 1;
|
| /seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | bootstrap.c | 690 error = UTMAN_ADD_UTS(bs->alloc, utspace, 1, &bs->uts[i], &bs->ut_size_bits[i], &bs->ut_paddr[i], bs->ut_isDevice[i] ? ALLOCMAN_UT_DEV : ALLOCMAN_UT_KERNEL);
1128 int dev_type = device ? ALLOCMAN_UT_DEV : ALLOCMAN_UT_KERNEL;
1130 if (dev_type == ALLOCMAN_UT_KERNEL) {
1238 error = allocman_utspace_add_uts(alloc, 1, &slot, &size_bits, &paddr, bi->untypedList[index].isDevice ? ALLOCMAN_UT_DEV : ALLOCMAN_UT_KERNEL);
|
Completed in 40 milliseconds