Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/of/overlay.c build_changeset() -> build_changeset_symbols_node()

Type Parameter Key Value
PARAM_VALUE 0 ovcs 4096-ptr_max
PARAM_VALUE 0 ovcs->count 1-s32max
PARAM_VALUE 0 ovcs->cset.entries.next 4096-ptr_max
PARAM_VALUE 0 ovcs->cset.entries.next->next 4096-ptr_max
PARAM_VALUE 0 ovcs->cset.entries.prev->next 4096-ptr_max
PARAM_VALUE 0 ovcs->cset.entries.prev->prev 4096-ptr_max
PARAM_VALUE 0 ovcs->fragments 4096-ptr_max
PARAM_VALUE 0 ovcs->id 1-s32max
PARAM_VALUE 0 ovcs->new_fdt 16,4096-ptr_max
PARAM_VALUE 0 ovcs->notify_state 1
PARAM_VALUE 0 ovcs->ovcs_list.next 4096-ptr_max
PARAM_VALUE 0 ovcs->ovcs_list.next->next 4096-ptr_max
PARAM_VALUE 0 ovcs->ovcs_list.prev 4096-ptr_max
PARAM_VALUE 0 ovcs->ovcs_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ovcs->ovcs_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 ovcs->overlay_mem 4096-ptr_max
PARAM_VALUE 0 ovcs->overlay_root 4096-ptr_max
PARAM_VALUE 0 ovcs->overlay_root->parent 0
PARAM_VALUE 0 ovcs->symbols_fragment 1
PARAM_VALUE 1 target 2243809545078906880
PARAM_VALUE 1 target->in_livetree 1
BUF_SIZE 0 ovcs 88
BUF_SIZE 0 ovcs->new_fdt 0-s32max
CAPPED_DATA 0 ovcs->count 1
DATA_SOURCE 0 ovcs $0
MEM_ZERO 0 &ovcs->cset
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ovcs->count
LOCK2 global &of_mutex
LOCK2 global &of_overlay_phandle_mutex