Searched refs:vtd_root_table (Results 1 – 1 of 1) sorted by relevance
79 static uint64_t vtd_root_table(void) in vtd_root_table() function130 printf("DMAR table address: %#018lx\n", vtd_root_table()); in vtd_setup_root_table()181 vtd_re_t *re = phys_to_virt(vtd_root_table()); in vtd_map_range()