dmar_table_t
dmar_table_t *tbl;
parse_drhd(char *uhead, dmar_table_t *tbl)
parse_rmrr(char *uhead, dmar_table_t *tbl)
dmar_parse(dmar_table_t **tblpp, char *raw)
dmar_table_t *tbl;
tbl = kmem_zalloc(sizeof (dmar_table_t), KM_SLEEP);
static void dmar_table_destroy(dmar_table_t *tbl);
static dmar_table_t *dmar_table; /* converted form of DMAR table */
dmar_table_print(dmar_table_t *tbl)
dmar_devinfos_create(dmar_table_t *tbl)
dmar_devi_destroy(dmar_table_t *tbl)
dmar_table_destroy(dmar_table_t *tbl)
kmem_free(tbl, sizeof (dmar_table_t));
dmar_table_t *tbl = NULL;
dmar_table_t *tbl = dmar_table;
dmar_table_t *tbl;