Searched refs:tboot_get_dmar_table (Results 1 - 3 of 3) sorted by relevance

/linux-4.1.27/include/linux/
H A Dtboot.h146 extern struct acpi_table_header *tboot_get_dmar_table(
157 #define tboot_get_dmar_table(dmar_tbl) (dmar_tbl) macro
/linux-4.1.27/arch/x86/kernel/
H A Dtboot.c479 struct acpi_table_header *tboot_get_dmar_table(struct acpi_table_header *dmar_tbl) tboot_get_dmar_table() function
/linux-4.1.27/drivers/iommu/
H A Ddmar.c619 dmar_tbl = tboot_get_dmar_table(dmar_tbl); parse_dmar_table()

Completed in 290 milliseconds