Ejemplos de fault_user_exception_new en C++ (Cpp)

Ejemplo n.º 1

Archivo: syscall.c Proyecto: dnm/seL4

exception_t
handleUserLevelFault(word_t w_a, word_t w_b)
{
    current_fault = fault_user_exception_new(w_a, w_b);
    handleFault(ksCurThread);

    schedule();
    activateThread();

    return EXCEPTION_NONE;
}

Ejemplo n.º 2

Archivo: syscall.c Proyecto: SummerSnail2014/seL4

exception_t
handleUserLevelFault(word_t w_a, word_t w_b)
{
#ifdef DEBUG
    ksKernelEntry.path = Debug_UserLevelFault;
    ksKernelEntry.number = w_a;
    ksKernelEntry.code = w_b;
#endif /* DEBUG */

    current_fault = fault_user_exception_new(w_a, w_b);
    handleFault(ksCurThread);

    schedule();
    activateThread();

    return EXCEPTION_NONE;
}

Ejemplo n.º 3

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

exception_t
handleUserLevelFault(word_t w_a, word_t w_b)
{
#if defined(DEBUG) || defined(CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES)
    ksKernelEntry.path = Entry_UserLevelFault;
    ksKernelEntry.word = w_a;
#endif /* DEBUG */

#ifdef CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES
    benchmark_track_start();
#endif

    current_fault = fault_user_exception_new(w_a, w_b);
    handleFault(ksCurThread);

    schedule();
    activateThread();

#ifdef CONFIG_BENCHMARK_TRACK_KERNEL_ENTRIES
    benchmark_track_exit();
#endif

    return EXCEPTION_NONE;
}