Symbol: domain_map_page_amd
sys/dev/acpi/acpidmar.c
318
int domain_map_page_amd(struct domain *, vaddr_t, paddr_t, uint64_t, int);
sys/dev/acpi/acpidmar.c
3442
domain_map_page = domain_map_page_amd;