devices-iommu.c code to stock jactiveltexx