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

/seL4-refos-master/libs/librefossys/include/refos-io/
H A Dmorecore.h18 void refosio_setup_morecore_override(char *mmapRegion, unsigned int mmapRegionSize);
/seL4-refos-master/projects/refos/impl/libs/librefossys/include/refos-io/
H A Dmorecore.h18 void refosio_setup_morecore_override(char *mmapRegion, unsigned int mmapRegionSize);
/seL4-refos-master/projects/refos/impl/apps/file_server/src/
H A Dfile_server.c62 static char mmapRegion[MMAP_SIZE]; variable
150 refosio_setup_morecore_override(mmapRegion, MMAP_SIZE);
/seL4-refos-master/apps/file_server/src/
H A Dfile_server.c62 static char mmapRegion[MMAP_SIZE]; variable
150 refosio_setup_morecore_override(mmapRegion, MMAP_SIZE);
/seL4-refos-master/projects/refos/impl/apps/selfloader/src/
H A Dselfloader.h92 sl_dataspace_t mmapRegion; member in struct:sl_state
/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.h92 sl_dataspace_t mmapRegion; member in struct:sl_state
/seL4-refos-master/projects/refos/impl/apps/test_os/src/
H A Dtest_os.c47 static char mmapRegion[MMAP_SIZE]; variable
504 refosio_setup_morecore_override(mmapRegion, MMAP_SIZE);
/seL4-refos-master/apps/test_os/src/
H A Dtest_os.c47 static char mmapRegion[MMAP_SIZE]; variable
504 refosio_setup_morecore_override(mmapRegion, MMAP_SIZE);

Completed in 45 milliseconds