tboot_force_iommu 4923 drivers/iommu/intel-iommu.c 	force_on = tboot_force_iommu() || platform_optin_force_iommu();
tboot_force_iommu  135 include/linux/tboot.h extern int tboot_force_iommu(void);