Symbol: ACPI_PTR_TO_PHYSADDR