/kernel/trunk/arch/amd64/include/interrupt.h |
---|
60,6 → 60,7 |
#define VECTOR_TLB_SHOOTDOWN_IPI (IVT_FREEBASE+0) |
#define VECTOR_WAKEUP_IPI (IVT_FREEBASE+1) |
#define VECTOR_DEBUG_IPI (IVT_FREEBASE+2) |
/** This is passed to interrupt handlers */ |
struct istate { |
/kernel/trunk/arch/amd64/include/debugger.h |
---|
42,7 → 42,7 |
extern void debugger_init(void); |
extern int breakpoint_add(void * where, int flags); |
extern int breakpoint_add(void * where, int flags, int curidx); |
extern void breakpoint_del(int slot); |
#endif |