Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dpll/dpll_netlink.c __dpll_device_change_ntf() -> dpll_device_event_send()

Type Parameter Key Value
PARAM_VALUE 0 event 6
PARAM_VALUE 1 dpll 4096-ptr_max
DATA_SOURCE 1 dpll $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &dpll_lock

drivers/dpll/dpll_netlink.c dpll_device_create_ntf() -> dpll_device_event_send()

Type Parameter Key Value
PARAM_VALUE 0 event 4
PARAM_VALUE 1 dpll 4096-ptr_max
PARAM_VALUE 1 dpll->module 0
PARAM_VALUE 1 dpll->refcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 1 dpll->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 1 dpll->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 1 dpll->registration_list.next 4096-ptr_max
PARAM_VALUE 1 dpll->registration_list.prev 4096-ptr_max
PARAM_VALUE 1 dpll->registration_list.prev->next 4096-ptr_max
PARAM_VALUE 1 dpll->registration_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 dpll->type 1-3
BUF_SIZE 1 dpll (-1),272
BUF_SIZE 1 dpll (-1),272
DATA_SOURCE 1 dpll $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 dpll->clock_id 0[c]
LOCK2 global &dpll_lock

drivers/dpll/dpll_netlink.c dpll_device_delete_ntf() -> dpll_device_event_send()

Type Parameter Key Value
PARAM_VALUE 0 event 5
PARAM_VALUE 1 dpll 4096-ptr_max
BUF_SIZE 1 dpll (-1),272
BUF_SIZE 1 dpll (-1),272
DATA_SOURCE 1 dpll $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &dpll_lock