Subversion Repositories HelenOS

Rev

Rev 3424 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 3424 Rev 4377
Line 42... Line 42...
42
#include <arch.h>
42
#include <arch.h>
43
#include <ddi/irq.h>
43
#include <ddi/irq.h>
44
 
44
 
45
typedef void (* iroutine)(int n, istate_t *istate);
45
typedef void (* iroutine)(int n, istate_t *istate);
46
 
46
 
47
#define fault_if_from_uspace(istate, cmd, ...) \
47
#define fault_if_from_uspace(istate, fmt, ...) \
48
{ \
48
{ \
49
    if (istate_from_uspace(istate)) { \
49
    if (istate_from_uspace(istate)) { \
50
        task_t *task = TASK; \
50
        task_t *task = TASK; \
51
        printf("Task %" PRIu64 " killed due to an exception at %p.", task->taskid, istate_get_pc(istate)); \
51
        printf("Task %s (%" PRIu64 ") killed due to an exception at %p: ", task->name, task->taskid, istate_get_pc(istate)); \
52
        printf("  " cmd, ##__VA_ARGS__); \
52
        printf(fmt "\n", ##__VA_ARGS__); \
53
        task_kill(task->taskid); \
53
        task_kill(task->taskid); \
54
        thread_exit(); \
54
        thread_exit(); \
55
    } \
55
    } \
56
}
56
}
57
 
57