exception_t handleVMFaultEvent(vm_fault_type_t vm_faultType) { exception_t status; #if defined(DEBUG) || defined(CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES) ksKernelEntry.path = Entry_VMFault; ksKernelEntry.word = vm_faultType; #endif /* DEBUG */ #ifdef CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES benchmark_track_start(); #endif status = handleVMFault(ksCurThread, vm_faultType); if (status != EXCEPTION_NONE) { handleFault(ksCurThread); } schedule(); activateThread(); #ifdef CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES benchmark_track_exit(); #endif return EXCEPTION_NONE; }
exception_t handleVMFaultEvent(vm_fault_type_t vm_faultType) { exception_t status; status = handleVMFault(ksCurThread, vm_faultType); if (status != EXCEPTION_NONE) { handleFault(ksCurThread); } schedule(); activateThread(); return EXCEPTION_NONE; }
exception_t handleVMFaultEvent(vm_fault_type_t vm_faultType) { exception_t status; #ifdef DEBUG ksKernelEntry.path = Debug_VMFault; ksKernelEntry.fault_type = vm_faultType; #endif /* DEBUG */ status = handleVMFault(ksCurThread, vm_faultType); if (status != EXCEPTION_NONE) { handleFault(ksCurThread); } schedule(); activateThread(); return EXCEPTION_NONE; }