Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hv/vmbus_drv.c hv_clear_allocated_cpu() -> hv_is_allocated_cpu()

Type Parameter Key Value
DATA_SOURCE 0 cpu $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &vmbus_connection.channel_mutex
HALF_LOCKED2 &of->mutex
TYPE_LOCK (struct vmbus_connection)->channel_mutex

drivers/hv/channel_mgmt.c hv_clear_allocated_cpu() -> hv_is_allocated_cpu()

Type Parameter Key Value
DATA_SOURCE 0 cpu $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &vmbus_connection.channel_mutex
TYPE_LOCK (struct vmbus_connection)->channel_mutex