Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/hdaps.c __hdaps_read_pair() -> __device_refresh_sync()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &hdaps_mtx

drivers/platform/x86/hdaps.c hdaps_device_init() -> __device_refresh_sync()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &hdaps_mtx

drivers/platform/x86/hdaps.c hdaps_readb_one() -> __device_refresh_sync()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 global &hdaps_mtx
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex