| 33,12 → 33,11 |
|---|
| /** @file |
| */ |
| |
| #ifndef KERN_sparc64_INTERRUPT_H_ |
| #define KERN_sparc64_INTERRUPT_H_ |
| #ifndef __sparc64_INTERRUPT_H__ |
| #define __sparc64_INTERRUPT_H__ |
| |
| #include <typedefs.h> |
| #include <arch/types.h> |
| #include <arch/regdef.h> |
| |
| #define IRQ_COUNT 1 /* TODO */ |
| |
| 53,17 → 52,17 |
|---|
| |
| static inline void istate_set_retaddr(istate_t *istate, uintptr_t retaddr) |
| { |
| istate->tpc = retaddr; |
| /* TODO */ |
| } |
| |
| static inline int istate_from_uspace(istate_t *istate) |
| { |
| return !(istate->tstate & TSTATE_PRIV_BIT); |
| /* TODO */ |
| return 0; |
| } |
| |
| static inline unative_t istate_get_pc(istate_t *istate) |
| { |
| return istate->tpc; |
| /* TODO */ |
| return 0; |
| } |
| |
| |