32,8 → 32,8 |
/** @file |
*/ |
|
#ifndef __ia64_INTERRUPT_H__ |
#define __ia64_INTERRUPT_H__ |
#ifndef KERN_ia64_INTERRUPT_H_ |
#define KERN_ia64_INTERRUPT_H_ |
|
#include <typedefs.h> |
#include <arch/types.h> |
123,7 → 123,7 |
{ |
return istate->cr_iip; |
} |
#include <panic.h> |
|
static inline int istate_from_uspace(istate_t *istate) |
{ |
return (istate->cr_iip)<0xe000000000000000ULL; |
139,10 → 139,7 |
extern void virtual_interrupt(uint64_t irq, void *param); |
extern void disabled_fp_register(uint64_t vector, istate_t *istate); |
|
|
|
#endif |
|
/** @} |
*/ |
|