tboot_get_dmar_table  634 drivers/iommu/dmar.c 	dmar_tbl = tboot_get_dmar_table(dmar_tbl);
tboot_get_dmar_table  133 include/linux/tboot.h extern struct acpi_table_header *tboot_get_dmar_table(