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

/seL4-refos-master/projects/refos/impl/apps/selfloader/src/
H A Dselfloader.h95 #define SELFLOADER_MINI_MORECORE_REGION_SIZE 0x32000 macro
H A Dselfloader.c45 static char slMiniMorecoreRegion[SELFLOADER_MINI_MORECORE_REGION_SIZE];
489 refosio_setup_morecore_override(slMiniMorecoreRegion, SELFLOADER_MINI_MORECORE_REGION_SIZE);
/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.h95 #define SELFLOADER_MINI_MORECORE_REGION_SIZE 0x32000 macro
H A Dselfloader.c45 static char slMiniMorecoreRegion[SELFLOADER_MINI_MORECORE_REGION_SIZE];
489 refosio_setup_morecore_override(slMiniMorecoreRegion, SELFLOADER_MINI_MORECORE_REGION_SIZE);

Completed in 34 milliseconds