IA64_SOURCES=..\ia64\kdtrap.c \
             ..\ia64\kdcpuapi.c \
             ..\ia64\kdcmsup.c