Searched refs:nFrames (Results 1 - 8 of 8) sorted by relevance
/seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
H A D | vspace.h | 148 @param nFrames Number of frames in given frame array. 151 int vs_map(struct vs_vspace *vs, vaddr_t vaddr, seL4_CPtr frames[], int nFrames); 180 @param nFrames The number of 4k frames from given vaddr to unmap. 183 int vs_unmap(struct vs_vspace *vs, vaddr_t vaddr, int nFrames);
|
H A D | vspace.c | 365 vs_map(struct vs_vspace *vs, vaddr_t vaddr, seL4_CPtr frames[], int nFrames) argument 373 nFrames * REFOS_PAGE_SIZE); 380 vaddr + nFrames * REFOS_PAGE_SIZE); 399 for (vaddr_t va = 0; va < nFrames; va++) { 409 seL4_CPtr* frameCopy = malloc(sizeof(seL4_CPtr) * nFrames); 414 memset(frameCopy, 0, sizeof(seL4_CPtr) * nFrames); 415 for (int i = 0; i < nFrames; i++) { 429 error = vspace_map_pages_at_vaddr(&vs->vspace, frameCopy, NULL, (void*) vaddr, nFrames, 438 procserv_flush(frameCopy, nFrames); 446 for (int i = 0; i < nFrames; 588 vs_unmap(struct vs_vspace *vs, vaddr_t vaddr, int nFrames) argument 637 int nFrames = (awindow->size / REFOS_PAGE_SIZE) + ((awindow->size % REFOS_PAGE_SIZE) ? 1 : 0); local [all...] |
/seL4-refos-master/apps/process_server/src/system/addrspace/ |
H A D | vspace.h | 148 @param nFrames Number of frames in given frame array. 151 int vs_map(struct vs_vspace *vs, vaddr_t vaddr, seL4_CPtr frames[], int nFrames); 180 @param nFrames The number of 4k frames from given vaddr to unmap. 183 int vs_unmap(struct vs_vspace *vs, vaddr_t vaddr, int nFrames);
|
H A D | vspace.c | 365 vs_map(struct vs_vspace *vs, vaddr_t vaddr, seL4_CPtr frames[], int nFrames) argument 373 nFrames * REFOS_PAGE_SIZE); 380 vaddr + nFrames * REFOS_PAGE_SIZE); 399 for (vaddr_t va = 0; va < nFrames; va++) { 409 seL4_CPtr* frameCopy = malloc(sizeof(seL4_CPtr) * nFrames); 414 memset(frameCopy, 0, sizeof(seL4_CPtr) * nFrames); 415 for (int i = 0; i < nFrames; i++) { 429 error = vspace_map_pages_at_vaddr(&vs->vspace, frameCopy, NULL, (void*) vaddr, nFrames, 438 procserv_flush(frameCopy, nFrames); 446 for (int i = 0; i < nFrames; 588 vs_unmap(struct vs_vspace *vs, vaddr_t vaddr, int nFrames) argument 637 int nFrames = (awindow->size / REFOS_PAGE_SIZE) + ((awindow->size % REFOS_PAGE_SIZE) ? 1 : 0); local [all...] |
/seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
H A D | state.h | 151 @param nFrames Number of frames in given frame array. 153 void procserv_flush(seL4_CPtr *frame, int nFrames);
|
H A D | state.c | 329 procserv_flush(seL4_CPtr *frame, int nFrames) argument 335 for (int i = 0; i < nFrames; i++) {
|
/seL4-refos-master/apps/process_server/src/ |
H A D | state.h | 151 @param nFrames Number of frames in given frame array. 153 void procserv_flush(seL4_CPtr *frame, int nFrames);
|
H A D | state.c | 329 procserv_flush(seL4_CPtr *frame, int nFrames) argument 335 for (int i = 0; i < nFrames; i++) {
|
Completed in 65 milliseconds