Ejemplos de handleVMFault en C++ (Cpp)

Ejemplo n.º 1

Archivo: syscall.c Proyecto: G-VAR/seL4

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;
}

Ejemplo n.º 2

Archivo: syscall.c Proyecto: dnm/seL4

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;
}

Ejemplo n.º 3

Archivo: syscall.c Proyecto: SummerSnail2014/seL4

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;
}