Symbol: tboot_get_dmar_table
drivers/iommu/intel/dmar.c
662
dmar_tbl = tboot_get_dmar_table(dmar_tbl);
include/linux/tboot.h
127
extern struct acpi_table_header *tboot_get_dmar_table(