original_kernel/arch/ia64/dig/machvec.c