Searched refs:faultAddr (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.c | 40 vaddr_t faultAddr; member in struct:procserv_vmfault_msg
60 f->faultAddr, f->pc, f->fsr);
135 vaddr_t dspaceOffset = (f->faultAddr + window->ramDataspaceOffset) -
151 if (f->faultAddr + window->ramDataspaceOffset >= aw->offset + aw->size) {
201 int error = vs_map(&f->pcb->vspace, f->faultAddr, &frame, 1);
203 output_segmentation_fault("Failed to map frame into client's vspace at faultAddr.", f);
235 vmFaultNotification.arg[2] = f->faultAddr;
276 f->faultAddr, f->pc, f->fsr);
286 struct w_associated_window *aw = w_associate_find(&f->pcb->vspace.windows, f->faultAddr);
311 cspacepath_t pageEntry = vs_get_frame(&f->pcb->vspace, f->faultAddr);
[all...] |
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.c | 40 vaddr_t faultAddr; member in struct:procserv_vmfault_msg
60 f->faultAddr, f->pc, f->fsr);
135 vaddr_t dspaceOffset = (f->faultAddr + window->ramDataspaceOffset) -
151 if (f->faultAddr + window->ramDataspaceOffset >= aw->offset + aw->size) {
201 int error = vs_map(&f->pcb->vspace, f->faultAddr, &frame, 1);
203 output_segmentation_fault("Failed to map frame into client's vspace at faultAddr.", f);
235 vmFaultNotification.arg[2] = f->faultAddr;
276 f->faultAddr, f->pc, f->fsr);
286 struct w_associated_window *aw = w_associate_find(&f->pcb->vspace.windows, f->faultAddr);
311 cspacepath_t pageEntry = vs_get_frame(&f->pcb->vspace, f->faultAddr);
[all...] |
| /seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/ |
| H A D | fault_notify.c | 62 seL4_Word faultAddr = notification->arg[2]; local
84 size_t faultAddrWinOffset = faultAddr - winBase;
99 seL4_Word alignedFaultAddr = REFOS_PAGE_ALIGN(faultAddr);
105 winBase faultAddr
117 winBase faultAddr
174 (uint32_t) faultAddr);
|
| /seL4-refos-master/apps/file_server/src/dispatchers/ |
| H A D | fault_notify.c | 62 seL4_Word faultAddr = notification->arg[2]; local
84 size_t faultAddrWinOffset = faultAddr - winBase;
99 seL4_Word alignedFaultAddr = REFOS_PAGE_ALIGN(faultAddr);
105 winBase faultAddr
117 winBase faultAddr
174 (uint32_t) faultAddr);
|
Completed in 41 milliseconds