Symbol: domain_map_device
sys/dev/acpi/acpidmar.c
2391
domain_map_device(dom, sid);
sys/dev/acpi/acpidmar.c
2446
domain_map_device(dom, sid);