Searched refs:npages (Results 1 - 25 of 25) sorted by relevance

/seL4-refos-master/libs/librefos/include/refos-util/
H A Dwalloc.h39 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 Dwalloc.h39 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 Dwalloc.c47 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 Dwalloc.c47 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 Dmmap_segment.c155 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 Dmmap_segment.c155 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 Dmmap_segment.h72 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 Dmmap_segment.h72 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 Ddataspace.c48 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 Ddataspace.h53 uint32_t npages; member in struct:ram_dspace
/seL4-refos-master/apps/process_server/src/system/memserv/
H A Ddataspace.c48 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 Ddataspace.h53 uint32_t npages; member in struct:ram_dspace
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Ddata_syscall.c162 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 Ddata_syscall.c162 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 Dwintty.c818 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 Dwintty.c818 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 Dtest_os.c373 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 Dtest_os.c373 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 Dtest_memserv.c359 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 Dtest_memserv.c359 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 Dwintty.h42 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 Dwintty.h42 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 Dvspace.c343 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 Dvspace.c343 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 Dprotocol.tex439 uint32_t npages;

Completed in 198 milliseconds