/seL4-refos-master/libs/librefos/include/refos-util/ |
H A D | walloc.h | 39 seL4_Word npages; member in struct:walloc_state_s 57 @param npages The size of the window (in number of pages, page size is REFOS_PAGE_SIZE, usually 63 seL4_Word walloc(int npages, seL4_CPtr *window); 70 @param npages The size of the window (in number of pages, page size is REFOS_PAGE_SIZE, usually 78 seL4_Word walloc_ext(int npages, seL4_CPtr *window, uint32_t permission, uint32_t flags); 94 @param npages The size in pages of the allocated window. 96 void walloc_free(uint32_t addr, int npages);
|
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/ |
H A D | walloc.h | 39 seL4_Word npages; member in struct:walloc_state_s 57 @param npages The size of the window (in number of pages, page size is REFOS_PAGE_SIZE, usually 63 seL4_Word walloc(int npages, seL4_CPtr *window); 70 @param npages The size of the window (in number of pages, page size is REFOS_PAGE_SIZE, usually 78 seL4_Word walloc_ext(int npages, seL4_CPtr *window, uint32_t permission, uint32_t flags); 94 @param npages The size in pages of the allocated window. 96 void walloc_free(uint32_t addr, int npages);
|
/seL4-refos-master/libs/librefos/src/refos-util/ |
H A D | walloc.c | 47 ws->npages = sz / REFOS_PAGE_SIZE; 48 cbpool_init(&ws->pool, ws->npages); 65 ws->npages = 0; 71 walloc_list_ext(walloc_state_t *ws, int npages, seL4_CPtr *window, uint32_t permission, argument 75 if (!npages) return 0; 78 uint32_t startPage = cbpool_alloc(&ws->pool, npages); 83 assert(startPage >= 0 && startPage < ws->npages); 90 seL4_CPtr windowCap = proc_create_mem_window_ext(regionAddr, npages * REFOS_PAGE_SIZE, 93 cbpool_free(&ws->pool, startPage, npages); 111 walloc_list(walloc_state_t *ws, int npages, seL4_CPt argument 136 walloc_list_free(walloc_state_t *ws, uint32_t addr, int npages) argument 165 walloc(int npages, seL4_CPtr *window) argument 171 walloc_ext(int npages, seL4_CPtr *window, uint32_t permission, uint32_t flags) argument 183 walloc_free(uint32_t addr, int npages) argument [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/ |
H A D | walloc.c | 47 ws->npages = sz / REFOS_PAGE_SIZE; 48 cbpool_init(&ws->pool, ws->npages); 65 ws->npages = 0; 71 walloc_list_ext(walloc_state_t *ws, int npages, seL4_CPtr *window, uint32_t permission, argument 75 if (!npages) return 0; 78 uint32_t startPage = cbpool_alloc(&ws->pool, npages); 83 assert(startPage >= 0 && startPage < ws->npages); 90 seL4_CPtr windowCap = proc_create_mem_window_ext(regionAddr, npages * REFOS_PAGE_SIZE, 93 cbpool_free(&ws->pool, startPage, npages); 111 walloc_list(walloc_state_t *ws, int npages, seL4_CPt argument 136 walloc_list_free(walloc_state_t *ws, uint32_t addr, int npages) argument 165 walloc(int npages, seL4_CPtr *window) argument 171 walloc_ext(int npages, seL4_CPtr *window, uint32_t permission, uint32_t flags) argument 183 walloc_free(uint32_t addr, int npages) argument [all...] |
/seL4-refos-master/libs/librefossys/src/refos-io/ |
H A D | mmap_segment.c | 155 refosio_mmap_anon(refos_io_mmap_segment_state_t *s, int npages, uint32_t *vaddrDest) argument 157 if (!npages) { 164 uint32_t vaddrOffsetPage = cbpool_alloc(&s->mmapRegionPageStatus, npages); 171 for (int i = 0; i < npages; i++) { 183 cbpool_free(&s->mmapRegionPageStatus, vaddrOffsetPage + i, npages - i); 189 (*vaddrDest) = PROCESS_MMAP_TOP - ((vaddrOffsetPage + npages) * REFOS_PAGE_SIZE); 195 refosio_munmap_anon(refos_io_mmap_segment_state_t *s, uint32_t vaddr, int npages) argument 197 if (npages == 0) { 213 cbpool_free(&s->mmapRegionPageStatus, vaddrOffsetPage, npages); 216 for (int i = 0; i < npages; [all...] |
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
H A D | mmap_segment.c | 155 refosio_mmap_anon(refos_io_mmap_segment_state_t *s, int npages, uint32_t *vaddrDest) argument 157 if (!npages) { 164 uint32_t vaddrOffsetPage = cbpool_alloc(&s->mmapRegionPageStatus, npages); 171 for (int i = 0; i < npages; i++) { 183 cbpool_free(&s->mmapRegionPageStatus, vaddrOffsetPage + i, npages - i); 189 (*vaddrDest) = PROCESS_MMAP_TOP - ((vaddrOffsetPage + npages) * REFOS_PAGE_SIZE); 195 refosio_munmap_anon(refos_io_mmap_segment_state_t *s, uint32_t vaddr, int npages) argument 197 if (npages == 0) { 213 cbpool_free(&s->mmapRegionPageStatus, vaddrOffsetPage, npages); 216 for (int i = 0; i < npages; [all...] |
/seL4-refos-master/libs/librefossys/include/refos-io/ |
H A D | mmap_segment.h | 72 int refosio_mmap_anon(refos_io_mmap_segment_state_t *s, int npages, uint32_t *vaddrDest); 74 int refosio_munmap_anon(refos_io_mmap_segment_state_t *s, uint32_t vaddr, int npages);
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/include/refos-io/ |
H A D | mmap_segment.h | 72 int refosio_mmap_anon(refos_io_mmap_segment_state_t *s, int npages, uint32_t *vaddrDest); 74 int refosio_munmap_anon(refos_io_mmap_segment_state_t *s, uint32_t vaddr, int npages);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
H A D | dataspace.c | 48 ndspace->npages = (arg[0] / REFOS_PAGE_SIZE) + ((arg[0] % REFOS_PAGE_SIZE) ? 1 : 0); 60 ndspace->pages = kmalloc(sizeof(vka_object_t) * ndspace->npages); 65 memset(ndspace->pages, 0, sizeof(vka_object_t) * ndspace->npages); 150 for (int i = 0; i < rds->npages; i++) { 273 if (idx >= dataspace->npages) { 285 if (idx >= dataspace->npages) { 337 return dataspace->npages * REFOS_PAGE_SIZE; 344 uint32_t npages = (size / REFOS_PAGE_SIZE) + ((size % REFOS_PAGE_SIZE) ? 1 : 0); local 346 if (npages < dataspace->npages) { [all...] |
H A D | dataspace.h | 53 uint32_t npages; member in struct:ram_dspace
|
/seL4-refos-master/apps/process_server/src/system/memserv/ |
H A D | dataspace.c | 48 ndspace->npages = (arg[0] / REFOS_PAGE_SIZE) + ((arg[0] % REFOS_PAGE_SIZE) ? 1 : 0); 60 ndspace->pages = kmalloc(sizeof(vka_object_t) * ndspace->npages); 65 memset(ndspace->pages, 0, sizeof(vka_object_t) * ndspace->npages); 150 for (int i = 0; i < rds->npages; i++) { 273 if (idx >= dataspace->npages) { 285 if (idx >= dataspace->npages) { 337 return dataspace->npages * REFOS_PAGE_SIZE; 344 uint32_t npages = (size / REFOS_PAGE_SIZE) + ((size % REFOS_PAGE_SIZE) ? 1 : 0); local 346 if (npages < dataspace->npages) { [all...] |
H A D | dataspace.h | 53 uint32_t npages; member in struct:ram_dspace
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
H A D | data_syscall.c | 162 return dspace->npages * REFOS_PAGE_SIZE; 224 if (rpc_offset > (dspace->npages * REFOS_PAGE_SIZE)) { 388 int npages = (rpc_contentSize / REFOS_PAGE_SIZE) + (rpc_contentSize % REFOS_PAGE_SIZE ? 1 : 0); local 389 for (vaddr_t i = 0; i < npages; i++) {
|
/seL4-refos-master/apps/process_server/src/dispatchers/ |
H A D | data_syscall.c | 162 return dspace->npages * REFOS_PAGE_SIZE; 224 if (rpc_offset > (dspace->npages * REFOS_PAGE_SIZE)) { 388 int npages = (rpc_contentSize / REFOS_PAGE_SIZE) + (rpc_contentSize % REFOS_PAGE_SIZE ? 1 : 0); local 389 for (vaddr_t i = 0; i < npages; i++) {
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 818 newwin->npages = newwin->plist_size = newwin->nitems = newwin->how = 0; 963 cw->plist_size = cw->npages = cw->nitems = cw->how = 0; 1188 if (curr_page < 0 || (cw->npages > 0 && curr_page >= cw->npages)) 1201 if (cw->npages > 0) { 1263 if (cw->npages > 1) 1265 curr_page + 1, (int) cw->npages); 1327 if (cw->npages > 0 && curr_page != cw->npages - 1) { 1334 if (cw->npages > [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/win/tty/ |
H A D | wintty.c | 818 newwin->npages = newwin->plist_size = newwin->nitems = newwin->how = 0; 963 cw->plist_size = cw->npages = cw->nitems = cw->how = 0; 1188 if (curr_page < 0 || (cw->npages > 0 && curr_page >= cw->npages)) 1201 if (cw->npages > 0) { 1263 if (cw->npages > 1) 1265 curr_page + 1, (int) cw->npages); 1327 if (cw->npages > 0 && curr_page != cw->npages - 1) { 1334 if (cw->npages > [all...] |
/seL4-refos-master/projects/refos/impl/apps/test_os/src/ |
H A D | test_os.c | 373 int npages = i % 2 ? 2 : 3; local 375 seL4_Word vaddr = walloc(npages, &windowCap); 377 walloc_free(vaddr, npages);
|
/seL4-refos-master/apps/test_os/src/ |
H A D | test_os.c | 373 int npages = i % 2 ? 2 : 3; local 375 seL4_Word vaddr = walloc(npages, &windowCap); 377 walloc_free(vaddr, npages);
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
H A D | test_memserv.c | 359 const int npages = 9; local 366 struct ram_dspace *dspace = ram_dspace_create(&rlist, npages * REFOS_PAGE_SIZE); 378 error = ram_dspace_need_content_init(dspace, npages * REFOS_PAGE_SIZE + 0x35); 380 for (int i = 0; i < npages; i++) {
|
/seL4-refos-master/apps/process_server/src/test/ |
H A D | test_memserv.c | 359 const int npages = 9; local 366 struct ram_dspace *dspace = ram_dspace_create(&rlist, npages * REFOS_PAGE_SIZE); 378 error = ram_dspace_need_content_init(dspace, npages * REFOS_PAGE_SIZE + 0x35); 380 for (int i = 0; i < npages; i++) {
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wintty.h | 42 short npages; /* number of pages in menu (MENU) */ member in struct:WinDesc
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wintty.h | 42 short npages; /* number of pages in menu (MENU) */ member in struct:WinDesc
|
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
H A D | vspace.c | 343 int npages = (sizeDecrease / REFOS_PAGE_SIZE) + ((sizeDecrease % REFOS_PAGE_SIZE) ? 1 : 0); local 344 int error = vs_unmap(vs, REFOS_PAGE_ALIGN(awindow->offset + size), npages);
|
/seL4-refos-master/apps/process_server/src/system/addrspace/ |
H A D | vspace.c | 343 int npages = (sizeDecrease / REFOS_PAGE_SIZE) + ((sizeDecrease % REFOS_PAGE_SIZE) ? 1 : 0); local 344 int error = vs_unmap(vs, REFOS_PAGE_ALIGN(awindow->offset + size), npages);
|
/seL4-refos-master/projects/refos/design/ |
H A D | protocol.tex | 439 uint32_t npages;
|