Searched refs:dmar_tbl (Results 1 – 1 of 1) sorted by relevance
489 struct acpi_table_header *tboot_get_dmar_table(struct acpi_table_header *dmar_tbl) in tboot_get_dmar_table() argument494 return dmar_tbl; in tboot_get_dmar_table()524 dmar_tbl = (struct acpi_table_header *)(heap_ptr + in tboot_get_dmar_table()530 return dmar_tbl; in tboot_get_dmar_table()