Symbol: tboot_get_dmar_table
arch/x86/kernel/tboot.c
474
struct acpi_table_header *tboot_get_dmar_table(struct acpi_table_header *dmar_tbl)
include/linux/tboot.h
137
#define tboot_get_dmar_table(dmar_tbl) (dmar_tbl)