Searched refs:vtd_map_registers (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/acpi/ | ||
H A D | intel_vtd.c | 90 static void *vtd_map_registers(genpaddr_t regset_base) function 654 new_unit = vtd_create_unit(vtd_map_registers(drhd->Address), drhd->Segment); |
Completed in 82 milliseconds