Subversion Repositories c0or1k

/*

 * Copyright (C) 2007 Bahadir Balban

 */

#include <task.h>

#include <vm_area.h>

#include <l4lib/exregs.h>

#include __INC_ARCH(mm.h)

#if defined(DEBUG_FAULT_HANDLING)

void arch_print_fault_params(struct fault_data *fault)

{

        printf("%s: Handling %s fault (%s abort) from %d. fault @ 0x%x, generic pte flags: 0x%x\n",

               __TASKNAME__, (fault->reason & VM_READ) ? "read" :

               (fault->reason & VM_WRITE) ? "write" : "exec",

               is_prefetch_abort(fault->kdata->fsr) ? "prefetch" : "data",

               fault->task->tid, fault->address, fault->pte_flags);

}

#else

void arch_print_fault_params(struct fault_data *fault) { }

#endif

void fault_handle_error(struct fault_data *fault)

{

        struct task_ids ids;

        /* Suspend the task */

        ids.tid = fault->task->tid;

        BUG_ON(l4_thread_control(THREAD_SUSPEND, &ids) < 0);

        BUG();

}