Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/hv/ring_buffer.c __hv_pkt_iter_next() -> hv_debug_delay_test()

Type Parameter Key Value
PARAM_VALUE 0 channel->inbound.ring_buffer->pending_send_sz 0,4120
PARAM_VALUE 1 delay_type 1
BUF_SIZE 0 channel s32min-(-1),1-s32max
BUF_SIZE 0 channel s32min-(-1),1-s32max
DATA_SOURCE 0 channel $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

drivers/hv/ring_buffer.c hv_pkt_iter_first() -> hv_debug_delay_test()

Type Parameter Key Value
PARAM_VALUE 1 delay_type 1
BUF_SIZE 0 channel s32min-(-1),1-s32max
BUF_SIZE 0 channel s32min-(-1),1-s32max
DATA_SOURCE 0 channel $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

drivers/hv/connection.c vmbus_on_event() -> hv_debug_delay_test()

Type Parameter Key Value
PARAM_VALUE 1 delay_type 0
DATA_SOURCE 0 channel $0
NOCHECK_CALL