Searched refs:dmar_table_length (Results 1 – 1 of 1) sorted by relevance
448 uint32_t dmar_table_length; in tboot_parse_dmar_table() local479 tboot_copy_memory((unsigned char *)&dmar_table_length, in tboot_parse_dmar_table()480 sizeof(dmar_table_length), in tboot_parse_dmar_table()482 dmar_table = xmalloc_bytes(dmar_table_length); in tboot_parse_dmar_table()485 tboot_copy_memory(dmar_table, dmar_table_length, pa); in tboot_parse_dmar_table()
Completed in 4 milliseconds