Searched refs:dmar_tbl (Results 1 – 1 of 1) sorted by relevance
469 struct acpi_table_header *tboot_get_dmar_table(struct acpi_table_header *dmar_tbl) in tboot_get_dmar_table() argument474 return dmar_tbl; in tboot_get_dmar_table()504 dmar_tbl = (struct acpi_table_header *)(heap_ptr + in tboot_get_dmar_table()510 return dmar_tbl; in tboot_get_dmar_table()