Searched defs:vm_faultType (Results 1 – 5 of 5) sorted by relevance

/seL4-master/src/api/
A D	syscall.c	344 exception_t handleVMFaultEvent(vm_fault_type_t vm_faultType) in handleVMFaultEvent()
/seL4-master/src/arch/x86/kernel/
A D	vspace.c	564 exception_t handleVMFault(tcb_t *thread, vm_fault_type_t vm_faultType) in handleVMFault()
/seL4-master/src/arch/riscv/kernel/
A D	vspace.c	415 exception_t handleVMFault(tcb_t *thread, vm_fault_type_t vm_faultType) in handleVMFault()
/seL4-master/src/arch/arm/32/kernel/
A D	vspace.c	1208 exception_t handleVMFault(tcb_t *thread, vm_fault_type_t vm_faultType) in handleVMFault()
/seL4-master/src/arch/arm/64/kernel/
A D	vspace.c	934 exception_t handleVMFault(tcb_t *thread, vm_fault_type_t vm_faultType) in handleVMFault()

Completed in 18 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023