Home
last modified time | relevance | path

Searched refs:dmar_table (Results 1 – 2 of 2) sorted by relevance

/xen/xen/arch/x86/
A Dtboot.c451 void *dmar_table; in tboot_parse_dmar_table() local
482 dmar_table = xmalloc_bytes(dmar_table_length); in tboot_parse_dmar_table()
483 if ( !dmar_table ) in tboot_parse_dmar_table()
485 tboot_copy_memory(dmar_table, dmar_table_length, pa); in tboot_parse_dmar_table()
488 rc = dmar_handler(dmar_table); in tboot_parse_dmar_table()
489 xfree(dmar_table); in tboot_parse_dmar_table()
/xen/xen/drivers/passthrough/vtd/
A Ddmar.c51 static struct acpi_table_header *__read_mostly dmar_table; variable
976 dmar_table = __va(dmar_addr); in acpi_dmar_init()
1010 if ( dmar_table ) in acpi_dmar_reinstate()
1011 write_atomic((uint32_t*)&dmar_table->signature[0], sig); in acpi_dmar_reinstate()
1018 if ( dmar_table ) in acpi_dmar_zap()
1019 write_atomic((uint32_t*)&dmar_table->signature[0], sig); in acpi_dmar_zap()

Completed in 6 milliseconds