Searched defs:nFrames (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | state.c | 329 procserv_flush(seL4_CPtr *frame, int nFrames) argument
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 365 vs_map(struct vs_vspace *vs, vaddr_t vaddr, seL4_CPtr frames[], int nFrames) argument
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/ |
| H A D | state.c | 329 procserv_flush(seL4_CPtr *frame, int nFrames) argument
|
| /seL4-refos-master/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 365 vs_map(struct vs_vspace *vs, vaddr_t vaddr, seL4_CPtr frames[], int nFrames) argument
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...] |
Completed in 86 milliseconds