android-kvm / linux / 33e0aae11e4854c792e9871f94da6d28bf2e2bb8 / drivers / acpi / acpi_extlog.c