tboot_force_iommu  510 arch/x86/kernel/tboot.c int tboot_force_iommu(void)
tboot_force_iommu  145 include/linux/tboot.h #define tboot_force_iommu()		0