Searched refs:procserv_flush (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/ |
| H A D | state.h | 153 void procserv_flush(seL4_CPtr *frame, int nFrames);
|
| H A D | state.c | 246 procserv_flush(&frame, 1);
265 procserv_flush(&frame, 1);
329 procserv_flush(seL4_CPtr *frame, int nFrames) function
|
| /seL4-refos-master/apps/process_server/src/ |
| H A D | state.h | 153 void procserv_flush(seL4_CPtr *frame, int nFrames);
|
| H A D | state.c | 246 procserv_flush(&frame, 1);
265 procserv_flush(&frame, 1);
329 procserv_flush(seL4_CPtr *frame, int nFrames) function
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 438 procserv_flush(frameCopy, nFrames);
|
| /seL4-refos-master/apps/process_server/src/system/addrspace/ |
| H A D | vspace.c | 438 procserv_flush(frameCopy, nFrames);
|
Completed in 44 milliseconds