/branches/dynload/kernel/arch/ia64/include/interrupt.h |
153,6 → 153,8 |
extern void external_interrupt(uint64_t vector, istate_t *istate); |
extern void disabled_fp_register(uint64_t vector, istate_t *istate); |
|
extern void trap_virtual_enable_irqs(uint16_t irqmask); |
|
#endif |
|
/** @} |
/branches/dynload/kernel/arch/ia64/include/types.h |
67,6 → 67,11 |
|
typedef uintptr_t ioport_t; |
|
typedef struct { |
unative_t fnc; |
unative_t gp; |
} fncptr_t; |
|
#define PRIp "lx" /**< Format for uintptr_t. */ |
#define PRIs "lu" /**< Format for size_t. */ |
#define PRIc "lu" /**< Format for count_t. */ |