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 Dvspace.h148 @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 Dvspace.c365 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 Dvspace.h148 @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 Dvspace.c365 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 Dstate.h151 @param nFrames Number of frames in given frame array.
153 void procserv_flush(seL4_CPtr *frame, int nFrames);
H A Dstate.c329 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 Dstate.h151 @param nFrames Number of frames in given frame array.
153 void procserv_flush(seL4_CPtr *frame, int nFrames);
H A Dstate.c329 procserv_flush(seL4_CPtr *frame, int nFrames) argument
335 for (int i = 0; i < nFrames; i++) {

Completed in 65 milliseconds