Searched refs:vmfault (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dfault_handler.c370 struct procserv_vmfault_msg vmfault; local
371 vmfault.pcb = pcb;
372 vmfault.pc = seL4_GetMR(seL4_VMFault_IP);
373 vmfault.faultAddr = seL4_GetMR(seL4_VMFault_Addr);
374 vmfault.instruction = seL4_GetMR(seL4_VMFault_PrefetchFault);
375 vmfault.fsr = seL4_GetMR(seL4_VMFault_FSR);
376 vmfault.read = sel4utils_is_read_fault();
379 handle_vm_fault(m, &vmfault);
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dfault_handler.c370 struct procserv_vmfault_msg vmfault; local
371 vmfault.pcb = pcb;
372 vmfault.pc = seL4_GetMR(seL4_VMFault_IP);
373 vmfault.faultAddr = seL4_GetMR(seL4_VMFault_Addr);
374 vmfault.instruction = seL4_GetMR(seL4_VMFault_PrefetchFault);
375 vmfault.fsr = seL4_GetMR(seL4_VMFault_FSR);
376 vmfault.read = sel4utils_is_read_fault();
379 handle_vm_fault(m, &vmfault);

Completed in 27 milliseconds