/kernel/arch/ia64/dig/

• ../
• Makefile
• machvec.c
• machvec_vtd.c
• setup.c