Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/surface/aggregator/ssh_packet_layer.c msgb_push_ack() -> msgb_push_frame()

Type Parameter Key Value
PARAM_VALUE 0 msgb 4012096468022169600
PARAM_VALUE 0 msgb->begin 4096-ptr_max
PARAM_VALUE 0 msgb->end 4096-ptr_max
PARAM_VALUE 0 msgb->ptr 4096-ptr_max
PARAM_VALUE 1 ty 64
PARAM_VALUE 2 len 0
DATA_SOURCE 0 msgb $0
DATA_SOURCE 3 seq $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/surface/aggregator/ssh_packet_layer.c msgb_push_nak() -> msgb_push_frame()

Type Parameter Key Value
PARAM_VALUE 0 msgb 1221403706156388352
PARAM_VALUE 0 msgb->begin 4096-ptr_max
PARAM_VALUE 0 msgb->end 4096-ptr_max
PARAM_VALUE 0 msgb->ptr 4096-ptr_max
PARAM_VALUE 1 ty 4
PARAM_VALUE 2 len 0
PARAM_VALUE 3 seq 0
DATA_SOURCE 0 msgb $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/surface/aggregator/controller.c msgb_push_cmd() -> msgb_push_frame()

Type Parameter Key Value
PARAM_VALUE 0 msgb 5407440854898860032
PARAM_VALUE 0 msgb->begin 24,4096-ptr_max
PARAM_VALUE 0 msgb->end 4096-ptr_max
PARAM_VALUE 0 msgb->ptr 24,4096-ptr_max
PARAM_VALUE 1 ty 128
PARAM_VALUE 2 len 8-u16max
CAPPED_DATA 3 seq 1
DATA_SOURCE 0 msgb $0
DATA_SOURCE 3 seq $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 len 8-u16max[c]
UNITS 2 len unit_byte