Symbol: ACPI_PHYSADDR_TO_PTR