/trunk/kernel/arch/sparc64/include/interrupt.h |
---|
36,7 → 36,6 |
#ifndef KERN_sparc64_INTERRUPT_H_ |
#define KERN_sparc64_INTERRUPT_H_ |
#include <typedefs.h> |
#include <arch/types.h> |
#include <arch/regdef.h> |
50,11 → 49,11 |
IPI_TLB_SHOOTDOWN = VECTOR_TLB_SHOOTDOWN_IPI |
}; |
struct istate { |
typedef struct { |
uint64_t tnpc; |
uint64_t tpc; |
uint64_t tstate; |
}; |
} istate_t; |
static inline void istate_set_retaddr(istate_t *istate, uintptr_t retaddr) |
{ |
71,9 → 70,6 |
return istate->tpc; |
} |
extern void interrupt_register(int n, const char *name, iroutine f); |
#endif |
/** @} |