../../../../../../../kernel/arch/ia64/include/arch/istate_struct.h