Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/sbshc.c acpi_smbus_transaction() -> smb_hc_write()

Type Parameter Key Value
PARAM_VALUE 0 hc 4096-ptr_max
PARAM_VALUE 0 hc->done 0
PARAM_VALUE 0 hc->lock.dep_map->name 0-255
PARAM_VALUE 0 hc->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hc->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hc->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hc->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hc->lock.wait_lock.owner (-1)
PARAM_VALUE 0 hc->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 address 3
BUF_SIZE 0 hc s32min-(-1),1-s32max
BUF_SIZE 0 hc s32min-(-1),1-s32max
CAPPED_DATA 0 &hc->lock 1
DATA_SOURCE 0 hc $0
DATA_SOURCE 2 data $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hc unit_byte
LOCK2 0 &hc->lock
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct acpi_smb_hc)->lock

drivers/acpi/sbshc.c acpi_smbus_transaction() -> smb_hc_write()

Type Parameter Key Value
PARAM_VALUE 0 hc 4096-ptr_max
PARAM_VALUE 0 hc->done 0
PARAM_VALUE 0 hc->lock.dep_map->name 0-255
PARAM_VALUE 0 hc->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hc->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hc->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hc->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hc->lock.wait_lock.owner (-1)
PARAM_VALUE 0 hc->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 address 36
PARAM_VALUE 2 data 0,2
BUF_SIZE 0 hc s32min-(-1),1-s32max
BUF_SIZE 0 hc s32min-(-1),1-s32max
CAPPED_DATA 0 &hc->lock 1
DATA_SOURCE 0 hc $0
DATA_SOURCE 2 data $5
HARD_MAX 2 data 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hc unit_byte
LOCK2 0 &hc->lock
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct acpi_smb_hc)->lock

drivers/acpi/sbshc.c acpi_smbus_transaction() -> smb_hc_write()

Type Parameter Key Value
PARAM_VALUE 0 hc 4096-ptr_max
PARAM_VALUE 0 hc->done 0
PARAM_VALUE 0 hc->lock.dep_map->name 0-255
PARAM_VALUE 0 hc->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hc->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hc->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hc->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hc->lock.wait_lock.owner (-1)
PARAM_VALUE 0 hc->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 address 4-5
CAPPED_DATA 0 &hc->lock 1
CAPPED_DATA 1 address 1
DATA_SOURCE 0 hc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hc unit_byte
LOCK2 0 &hc->lock
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct acpi_smb_hc)->lock

drivers/acpi/sbshc.c acpi_smbus_transaction() -> smb_hc_write()

Type Parameter Key Value
PARAM_VALUE 0 hc 4096-ptr_max
PARAM_VALUE 0 hc->done 0
PARAM_VALUE 0 hc->lock.dep_map->name 0-255
PARAM_VALUE 0 hc->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hc->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hc->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hc->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hc->lock.wait_lock.owner (-1)
PARAM_VALUE 0 hc->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 address 2
PARAM_VALUE 2 data 18-22
BUF_SIZE 0 hc s32min-(-1),1-s32max
BUF_SIZE 0 hc s32min-(-1),1-s32max
CAPPED_DATA 0 &hc->lock 1
DATA_SOURCE 0 hc $0
BIT_INFO 2 data 0x0,0x1e
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hc unit_byte
LOCK2 0 &hc->lock
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct acpi_smb_hc)->lock

drivers/acpi/sbshc.c acpi_smbus_transaction() -> smb_hc_write()

Type Parameter Key Value
PARAM_VALUE 0 hc 4096-ptr_max
PARAM_VALUE 0 hc->done 0
PARAM_VALUE 0 hc->lock.dep_map->name 0-255
PARAM_VALUE 0 hc->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hc->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hc->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hc->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hc->lock.wait_lock.owner (-1)
PARAM_VALUE 0 hc->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 address 0
BUF_SIZE 0 hc s32min-(-1),1-s32max
BUF_SIZE 0 hc s32min-(-1),1-s32max
CAPPED_DATA 0 &hc->lock 1
DATA_SOURCE 0 hc $0
DATA_SOURCE 2 data $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hc unit_byte
LOCK2 0 &hc->lock
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct acpi_smb_hc)->lock

drivers/acpi/sbshc.c smbus_alarm() -> smb_hc_write()

Type Parameter Key Value
PARAM_VALUE 0 hc 4096-ptr_max
PARAM_VALUE 0 hc->lock.dep_map->name 0-255
PARAM_VALUE 0 hc->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hc->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hc->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hc->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 hc->lock.wait_lock.owner (-1)
PARAM_VALUE 0 hc->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 1 address 1
BUF_SIZE 0 hc 280
CAPPED_DATA 0 &hc->lock 1
DATA_SOURCE 0 hc $0
NOCHECK_CALL
LOCK2 0 &hc->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct acpi_smb_hc)->lock