gerrit-public.fairphone.software / kernel / msm-4.19 / 86d30741e480f40676c2173e1153368a4846da48 / drivers / acpi / acpi_memhotplug.c