Symbol: domain_map_page_intel
sys/dev/acpi/acpidmar.c
2603
domain_map_page = domain_map_page_intel;
sys/dev/acpi/acpidmar.c
319
int domain_map_page_intel(struct domain *, vaddr_t, paddr_t, uint64_t, int);