original_kernel/arch/ia64/include/asm/iommu_table.h