ia64_SOURCES=..\ia64\check.c   \
             ..\ia64\cpuapi.c  \
             ..\ia64\debug.c   \
             ..\ia64\miscc.c   \
             ..\ia64\print.c   \
             ..\ia64\port.c    \
             ..\ia64\reboot.c  \
             ..\ia64\trap.s    \
             ..\ia64\trapc.c