Defined in 1 files as a prototype:

Defined in 3 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/acpi/acpica/utdelete.c acpi_ut_delete_internal_obj() -> acpi_os_delete_semaphore()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/utdelete.c acpi_ut_delete_internal_obj() -> acpi_os_delete_semaphore()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/utdelete.c acpi_ut_delete_internal_obj() -> acpi_os_delete_semaphore()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/utdelete.c acpi_ut_delete_internal_obj() -> acpi_os_delete_semaphore()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/utdelete.c acpi_ut_delete_internal_obj() -> acpi_os_delete_semaphore()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/utdelete.c acpi_ut_delete_internal_obj() -> acpi_os_delete_semaphore()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/acpica/utmutex.c acpi_ut_delete_mutex() -> acpi_os_delete_semaphore()

Type Parameter Key Value

drivers/acpi/acpica/utmutex.c acpi_ut_mutex_terminate() -> acpi_os_delete_semaphore()

Type Parameter Key Value

drivers/acpi/acpica/dbexec.c acpi_db_create_execution_threads() -> acpi_os_delete_semaphore()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max

drivers/acpi/acpica/dbexec.c acpi_db_create_execution_threads() -> acpi_os_delete_semaphore()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max

drivers/acpi/acpica/dbexec.c acpi_db_create_execution_threads() -> acpi_os_delete_semaphore()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max

drivers/acpi/acpica/dbexec.c acpi_db_create_execution_threads() -> acpi_os_delete_semaphore()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max

drivers/acpi/acpica/dbexec.c acpi_db_create_execution_threads() -> acpi_os_delete_semaphore()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max

drivers/acpi/acpica/dbexec.c acpi_db_create_execution_threads() -> acpi_os_delete_semaphore()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max

drivers/acpi/acpica/dbexec.c acpi_db_create_execution_threads() -> acpi_os_delete_semaphore()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
HALF_LOCKED2 0 handle

drivers/acpi/acpica/dbexec.c acpi_db_create_execution_threads() -> acpi_os_delete_semaphore()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
HALF_LOCKED2 main_thread_gate

drivers/acpi/acpica/dbexec.c acpi_db_create_execution_threads() -> acpi_os_delete_semaphore()

Type Parameter Key Value
PARAM_VALUE 0 handle 4096-ptr_max
HALF_LOCKED2 main_thread_gate

drivers/acpi/acpica/utlock.c acpi_ut_delete_rw_lock() -> acpi_os_delete_semaphore()

Type Parameter Key Value

drivers/acpi/acpica/utlock.c acpi_ut_delete_rw_lock() -> acpi_os_delete_semaphore()

Type Parameter Key Value

drivers/acpi/acpica/exsystem.c acpi_ex_system_reset_event() -> acpi_os_delete_semaphore()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING