Searched refs:dmar_table (Results 1 – 2 of 2) sorted by relevance
447 void *dmar_table; in tboot_parse_dmar_table() local480 dmar_table = xmalloc_bytes(dmar_table_length); in tboot_parse_dmar_table()481 tboot_copy_memory(dmar_table, dmar_table_length, pa); in tboot_parse_dmar_table()484 rc = dmar_handler(dmar_table); in tboot_parse_dmar_table()485 xfree(dmar_table); in tboot_parse_dmar_table()
49 static struct acpi_table_header *__read_mostly dmar_table; variable1014 dmar_table = __va(dmar_addr); in acpi_dmar_init()1029 if ( dmar_table ) in acpi_dmar_reinstate()1030 write_atomic((uint32_t*)&dmar_table->signature[0], sig); in acpi_dmar_reinstate()1037 if ( dmar_table ) in acpi_dmar_zap()1038 write_atomic((uint32_t*)&dmar_table->signature[0], sig); in acpi_dmar_zap()
Completed in 5 milliseconds