Searched refs:handleVMFault (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/kernel/include/arch/arm/arch/kernel/
H A Dvspace.h37 exception_t handleVMFault(tcb_t *thread, vm_fault_type_t vm_faultType);
/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h45 exception_t handleVMFault(tcb_t *thread, vm_fault_type_t vm_faultType);
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h81 exception_t handleVMFault(tcb_t *thread, vm_fault_type_t vm_faultType);
/seL4-camkes-master/kernel/src/api/
H A Dsyscall.c352 exception_t status = handleVMFault(NODE_STATE(ksCurThread), vm_faultType);
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c415 exception_t handleVMFault(tcb_t *thread, vm_fault_type_t vm_faultType) function
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c564 exception_t handleVMFault(tcb_t *thread, vm_fault_type_t vm_faultType) function
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1257 exception_t handleVMFault(tcb_t *thread, vm_fault_type_t vm_faultType) function
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c929 exception_t handleVMFault(tcb_t *thread, vm_fault_type_t vm_faultType) function

Completed in 71 milliseconds