acpi_os_release_lock 1611 drivers/acpi/osl.c void acpi_os_release_lock(acpi_spinlock lockp, acpi_cpu_flags flags)
acpi_os_release_lock  875 tools/power/acpi/os_specific/service_layers/osunixxf.c void acpi_os_release_lock(acpi_spinlock handle, acpi_cpu_flags flags)