tboot_get_dmar_table  466 arch/x86/kernel/tboot.c struct acpi_table_header *tboot_get_dmar_table(struct acpi_table_header *dmar_tbl)
tboot_get_dmar_table  144 include/linux/tboot.h #define tboot_get_dmar_table(dmar_tbl)	(dmar_tbl)