../../../../../../kernel/arch/ia64/include/register.h