Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/wmi/marshalling.c wmi_obj_transform() -> wmi_obj_transform_simple()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 1 buffer 16,4096-u64max
PARAM_VALUE 2 consumed 8158797213030248448
DATA_SOURCE 1 buffer $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &wblock->notify_lock

drivers/platform/wmi/marshalling.c wmi_obj_transform() -> wmi_obj_transform_simple()

Type Parameter Key Value
PARAM_VALUE 0 obj 4096-ptr_max
PARAM_VALUE 0 obj->type 1-3
PARAM_VALUE 1 buffer 16,4096-ptr_max
PARAM_VALUE 2 consumed 8158797213030248448
DATA_SOURCE 0 obj $0
DATA_SOURCE 1 buffer $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &wblock->notify_lock